File: _integral__Basis.out

package info (click to toggle)
macaulay2 1.24.11%2Bds-5
  • links: PTS, VCS
  • area: main
  • in suites: trixie
  • size: 171,648 kB
  • sloc: cpp: 107,850; ansic: 16,307; javascript: 4,188; makefile: 3,947; lisp: 682; yacc: 604; sh: 476; xml: 177; perl: 114; lex: 65; python: 33
file content (25 lines) | stat: -rw-r--r-- 554 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
 
-- -*- M2-comint -*- {* hash: 18206156673092833707

i1 : R=QQ[x,y]

o1 = R

o1 : PolynomialRing

i2 : I=ideal(y^8-x^3*(1+x)^5)

              8    8     7      6      5     4    3
o2 = ideal(- x  + y  - 5x  - 10x  - 10x  - 5x  - x )

o2 : Ideal of R

i3 : integralBasis(I)

o3 = | 1 x (x2+x)/y (x3+2x2+x)/y2 (x4+2x3+x2)/y3 (x5+3x4+3x3+x2)/y4
     ------------------------------------------------------------------------
     (x6+4x5+6x4+4x3+x2)/y5 (x7+4x6+6x5+4x4+x3)/y6 |

                    1              8
o3 : Matrix (frac R)  <--- (frac R)

i4 :