File: QConstSymb.in

package info (click to toggle)
normaliz 3.11.1%2Bds-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 41,376 kB
  • sloc: cpp: 48,779; makefile: 2,266; sh: 1
file content (6 lines) | stat: -rw-r--r-- 188 bytes parent folder | download | duplicates (12) 
1
2
3
4
5
6
 
amb_space 3
number_field min_poly (a^2 - 5) embedding [2.236067977499789 +/- 8.06e-16]
constraints 3 symbolic
(a)x[1] -3x[2] >= 3;
(-1/3*a + a^0)x[2] <= x[1];
x[3] - (a+1/100)x[1] = (-a);