File: simpl7.in

package info (click to toggle)
polylib 5.22.5-4%2Bdfsg
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, buster
  • size: 14,428 kB
  • sloc: ansic: 16,342; sh: 10,134; makefile: 506
file content (18 lines) | stat: -rw-r--r-- 296 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
# A = readDom["{i,j|j>=i}"]
D 1
2 4
1 -1 1 0
1 0 0 1
# B = readDom["{i,j|i=j}"]
D 1
2 4
0 1 -1 0
1 0 0 1
F 2

DomSimplify[readDom["{i,j|j>=i}"],readDom["{i,j|i=j}"]]
(* answer ={i,j | 1>=0}
domain[2, {i, j}, {pol[1, 3, 0, 2, {{1, 0, 0, 1}}, 
    {{0, 1, 0, 0}, {0, 0, 1, 0}, {1, 0, 0, 1}}]}]
*)