#prvo se definise prsten polinoma P sa racionalnim koeficijentima QQ nad dve promenljive x i y
P.<x, y> = PolynomialRing(QQ, order='lex') #redosled monoma je leksikografski
I = Ideal( x*y - 1, (x-2)^2 + (y-1)^2 - 1) #ideal je definisan preko dva polinoma
show(plot(1/x,(x,1/2,4))+circle((2,1), 1),aspect_ratio=1) #koji geometrijski predstavljaju hiperbolu i krug
|
|
I.variety() #nad racionalnim brojevima imaju samo jedan presek
[{y: 1, x: 1}]
[{y: 1, x: 1}]
|
I.variety(ring=RR) #nad realnim brojevima imaju dve tacke preseka
[{y: 0.361103080528647, x: 2.76929235423863}, {y: 1.00000000000000, x:
1.00000000000000}]
[{y: 0.361103080528647, x: 2.76929235423863}, {y: 1.00000000000000, x: 1.00000000000000}]
|
I.variety(ring=CC) #nad kompleksnim brojevima imaju cetiri, zato sto
[{y: 0.319448459735676 - 1.63317024091524*I, x: 0.115353822880685 +
0.589742805022206*I}, {y: 0.319448459735676 + 1.63317024091524*I, x:
0.115353822880685 - 0.589742805022206*I}, {y: 0.361103080528647, x:
2.76929235423863}, {y: 1.00000000000000, x: 1.00000000000000}]
[{y: 0.319448459735676 - 1.63317024091524*I, x: 0.115353822880685 + 0.589742805022206*I}, {y: 0.319448459735676 + 1.63317024091524*I, x: 0.115353822880685 - 0.589742805022206*I}, {y: 0.361103080528647, x: 2.76929235423863}, {y: 1.00000000000000, x: 1.00000000000000}]
|
I.groebner_basis() #se vidi iz grobnerove baze da je polinom po y cetvrtog stepena
[x + y^3 - 2*y^2 + 4*y - 4, y^4 - 2*y^3 + 4*y^2 - 4*y + 1] [x + y^3 - 2*y^2 + 4*y - 4, y^4 - 2*y^3 + 4*y^2 - 4*y + 1] |
factor(y^4 - 2*y^3 + 4*y^2 - 4*y + 1) #ali da ima samo jedan racionalni koren
(y - 1) * (y^3 - y^2 + 3*y - 1) (y - 1) * (y^3 - y^2 + 3*y - 1) |
#TEORIJA ELIMINACIJE
P.<x, y, z> = PolynomialRing(QQ, 3, order='lex')
I=Ideal(x**2+y+z-1,x+y**2+z-1,x+y+z**2-1)
gb=I.groebner_basis()
print I.variety()
[{y: 0, z: 0, x: 1}, {y: 1, z: 0, x: 0}, {y: 0, z: 1, x: 0}]
[{y: 0, z: 0, x: 1}, {y: 1, z: 0, x: 0}, {y: 0, z: 1, x: 0}]
|
#IZRACUNAVANJE GCD dva polinoma
P.<t,x,y,z> = PolynomialRing(QQ,order='lex')
p1=x**2+x*y*z
p2=x*y+x*z+y**2*z+y*z**2
I=Ideal([t*p1,(1-t)*p2])
g=I.groebner_basis()
print (p1*p2)/g[-1]
x + y*z x + y*z |
#izracunavanje komplementarnih monoma
P.<x,y> = PolynomialRing(QQ,order='deglex')
I=Ideal(x*y**3-x**2,x**3*y**2-y)
print I.groebner_basis()
print I.change_ring(P.change_ring(order='invlex')).groebner_basis()
print I.vector_space_dimension()
print len(I.variety(ring=CC))
[x^3*y^2 - y, x^4 - y^2, x*y^3 - x^2, y^4 - x*y] [y - x^7, x^12 - x^2] 12 11 [x^3*y^2 - y, x^4 - y^2, x*y^3 - x^2, y^4 - x*y] [y - x^7, x^12 - x^2] 12 11 |
P.<x,y,z> = PolynomialRing(CC,order='lex')
I=Ideal(x**5+y**3+z**2-1,x**2+y**3+z-1,x**4+y**5+z**6-1)
gb=I.groebner_basis()
v=I.variety()
print len(v)
verbose 0 (1857: multi_polynomial_ideal.py, variety) Warning: computations in the complex field are inexact; variety may be computed partially or incorrectly. Traceback (click to the left of this block for traceback) ... ValueError: too many values to unpack verbose 0 (1857: multi_polynomial_ideal.py, variety) Warning: computations in the complex field are inexact; variety may be computed partially or incorrectly.
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
File "_sage_input_13.py", line 10, in <module>
exec compile(u'open("___code___.py","w").write("# -*- coding: utf-8 -*-\\n" + _support_.preparse_worksheet_cell(base64.b64decode("UC48eCx5LHo+ID0gUG9seW5vbWlhbFJpbmcoQ0Msb3JkZXI9J2xleCcpCkk9SWRlYWwoeCoqNSt5KiozK3oqKjItMSx4KioyK3kqKjMrei0xLHgqKjQreSoqNSt6Kio2LTEpCmdiPUkuZ3JvZWJuZXJfYmFzaXMoKQp2PUkudmFyaWV0eSgpCnByaW50IGxlbih2KQ=="),globals())+"\\n"); execfile(os.path.abspath("___code___.py"))
File "", line 1, in <module>
File "/tmp/tmpVzVkYE/___code___.py", line 6, in <module>
v=I.variety()
File "/usr/local/sage2/local/lib/python2.6/site-packages/sage/rings/polynomial/multi_polynomial_ideal.py", line 407, in __call__
return self.f(self._instance, *args, **kwds)
File "/usr/local/sage2/local/lib/python2.6/site-packages/sage/rings/polynomial/multi_polynomial_ideal.py", line 2094, in variety
TI = self.triangular_decomposition('singular:triangLfak')
File "/usr/local/sage2/local/lib/python2.6/site-packages/sage/rings/polynomial/multi_polynomial_ideal.py", line 407, in __call__
return self.f(self._instance, *args, **kwds)
File "/usr/local/sage2/local/lib/python2.6/site-packages/sage/rings/polynomial/multi_polynomial_ideal.py", line 901, in triangular_decomposition
is_groebner = self.basis_is_groebner()
File "/usr/local/sage2/local/lib/python2.6/site-packages/sage/misc/cachefunc.py", line 322, in __call__
return self._cachedmethod._instance_call(self._instance, *args, **kwds)
File "/usr/local/sage2/local/lib/python2.6/site-packages/sage/misc/cachefunc.py", line 466, in _instance_call
cache[key] = self._cachedfunc.f(inst, *args, **kwds)
File "/usr/local/sage2/local/lib/python2.6/site-packages/sage/rings/polynomial/multi_polynomial_ideal.py", line 1666, in basis_is_groebner
F = matrix(R, 1, self.ngens(), self.gens())
File "/usr/local/sage2/local/lib/python2.6/site-packages/sage/matrix/constructor.py", line 652, in matrix
return matrix_space.MatrixSpace(ring, nrows, ncols, sparse=sparse)(entries)
File "/usr/local/sage2/local/lib/python2.6/site-packages/sage/matrix/matrix_space.py", line 405, in __call__
return self.matrix(entries, copy=copy, coerce=coerce, rows=rows)
File "/usr/local/sage2/local/lib/python2.6/site-packages/sage/matrix/matrix_space.py", line 1136, in matrix
return self.__matrix_class(self, entries=x, copy=copy, coerce=coerce)
File "matrix_generic_dense.pyx", line 68, in sage.matrix.matrix_generic_dense.Matrix_generic_dense.__init__ (sage/matrix/matrix_generic_dense.c:1997)
File "/usr/local/sage2/local/lib/python2.6/site-packages/sage/rings/polynomial/multi_polynomial_ring.py", line 468, in __call__
c = self.base_ring()(x)
File "/usr/local/sage2/local/lib/python2.6/site-packages/sage/rings/complex_field.py", line 276, in __call__
return Parent.__call__(self, x)
File "parent.pyx", line 859, in sage.structure.parent.Parent.__call__ (sage/structure/parent.c:6407)
File "coerce_maps.pyx", line 82, in sage.structure.coerce_maps.DefaultConvertMap_unique._call_ (sage/structure/coerce_maps.c:3108)
File "coerce_maps.pyx", line 77, in sage.structure.coerce_maps.DefaultConvertMap_unique._call_ (sage/structure/coerce_maps.c:3010)
File "/usr/local/sage2/local/lib/python2.6/site-packages/sage/rings/complex_field.py", line 303, in _element_constructor_
return complex_number.ComplexNumber(self, x)
File "complex_number.pyx", line 147, in sage.rings.complex_number.ComplexNumber.__init__ (sage/rings/complex_number.c:2995)
ValueError: too many values to unpack
|
K.<a>=GF(2)
P.<x>=PolynomialRing(K,'x')
factor(x**4+x+1)
x^4 + x + 1 x^4 + x + 1 |
factor(x**4+x+1)
(x^2 + x + a) * (x^2 + x + a + 1) (x^2 + x + a) * (x^2 + x + a + 1) |
K.<x, y> = PolynomialRing(ZZ, 2, order='lex')
Fx=[ -3*x^2*y+2*x*y^2, -x*y^3+2*x*y+5]
Ix=Ideal(Fx)
Ix.groebner_basis(algorithm='libsingular:slimgb')
[-3*x^2*y + 2*x*y^2, -x*y^3 + 2*x*y + 5, -15*x + 10*y, -10*y^4 + 20*y^2 + 75] [-3*x^2*y + 2*x*y^2, -x*y^3 + 2*x*y + 5, -15*x + 10*y, -10*y^4 + 20*y^2 + 75] |
Ideal(Fx+[15]).groebner_basis(algorithm='libsingular:slimgb')
[1] [1] |
R.
|
|
|
|
g[2]
x^2*y + x^2*z + x*y^2*z + x*y*z^2 x^2*y + x^2*z + x*y^2*z + x*y*z^2 |
|
|
a=((x**2+x*y)*(x+y)*(y+z))/g[2]
|
|
a
(x^3*y + 2.00000000000000*x^2*y^2 + x*y^3 + x^3*z + 2.00000000000000*x^2*y*z + x*y^2*z)/(x*y^2*z + x*y*z^2 + x^2*y + x^2*z) (x^3*y + 2.00000000000000*x^2*y^2 + x*y^3 + x^3*z + 2.00000000000000*x^2*y*z + x*y^2*z)/(x*y^2*z + x*y*z^2 + x^2*y + x^2*z) |
#primer kada grobnerova baza dobija ogromne koeficijente
Ideal(x^8 + y + 2, y^6 + x*y^5 + x^2).groebner_basis()
WARNING: Output truncated! full_output.txt [x^2 + x*y^5 + y^6, -2*x*y^24 + 2*x*y^9 + 4*x*y^8 - 8*x*y^5 - 16*x*y^4 + 6*x*y + 12*x - 2*y^25 + 2*y^14 + 4*y^13 - 10*y^10 - 20*y^9 + 12*y^6 + 24*y^5 - 2*y^2 - 4*y, -8*x*y^23 + 6*x*y^12 + 12*x*y^11 - 28*x*y^8 - 56*x*y^7 + 28*x*y^4 + 56*x*y^3 - 2*y^24 + 6*y^17 + 12*y^16 - 34*y^13 - 68*y^12 + 50*y^9 + 100*y^8 - 12*y^5 - 24*y^4 - 2*y - 4, 6*x*y^13 + 12*x*y^12 - 36*x*y^9 - 72*x*y^8 + 60*x*y^5 + 120*x*y^4 - 24*x*y - 48*x + 6*y^25 + 6*y^18 + 12*y^17 - 42*y^14 - 84*y^13 + 90*y^10 + 180*y^9 - 60*y^6 - 120*y^5 + 6*y^2 + 12*y, 147552*x*y^12 - 24*x*y^9 - 876624*x*y^8 + 96*x*y^5 + 1454208*x*y^4 - 72*x*y - 580752*x - 24*y^36 + 48*y^35 - 96*y^34 + 192*y^33 - 528*y^32 + 1056*y^31 - 2112*y^30 + 4200*y^29 - 9072*y^28 + 18144*y^27 - 36288*y^26 + 72624*y^25 + 24*y^21 + 147600*y^17 - 24*y^14 - 1024056*y^13 + 120*y^10 + 2183616*y^9 - 144*y^6 - 1452432*y^5 + 24*y^2 + 145200*y, -72594*x*y^12 + 2364*x*y^11 + 435540*x*y^8 - 5496*x*y^7 - 725844*x*y^4 + 2328*x*y^3 + 290304*x - 24*y^35 + 48*y^34 - 96*y^33 + 192*y^32 - 528*y^31 + 1056*y^30 - 2112*y^29 + 4200*y^28 - 9072*y^27 + 18144*y^26 - 36288*y^25 + 30*y^24 + 24*y^20 - 72594*y^17 + 2412*y^16 + 508134*y^13 - 7740*y^12 - 1088790*y^9 + 5796*y^8 + 725796*y^5 - 552*y^4 - 72570*y + 12, -58135488*x*y^11 + 290376*x*y^9 - 104525904*x*y^8 + 135157632*x*y^7 - 1161504*x*y^5 + 255493056*x*y^4 - 57250176*x*y^3 + 871128*x*y - 112637520*x + 290376*y^36 + 9456*y^35 - 18912*y^34 + 37824*y^33 + 1666608*y^32 + 208032*y^31 - 416064*y^30 + 1122504*y^29 + 6475728*y^28 + 3574368*y^27 - 7148736*y^26 + 13716720*y^25 - 737760*y^24 - 290376*y^21 - 590208*y^20 - 580752*y^17 - 59315904*y^16 + 290376*y^14 - 105977784*y^13 + 190342080*y^12 - 1451880*y^10 + 355953696*y^9 - 142535232*y^8 + 1742256*y^6 - 275800464*y^5 + 13574784*y^4 - 290376*y^2 + 27866640*y - 295104, 290376*x*y^10 - 104535360*x*y^9 - 210232224*x*y^8 - 1161504*x*y^6 + 255530880*x*y^5 + 515707776*x*y^4 + 871128*x*y^2 - 112665888*x*y - 228816288*x + 290376*y^37 + 1742256*y^33 + 290376*y^30 + 8130528*y^29 - 580752*y^26 + 27876096*y^25 - 290376*y^22 - 580752*y^21 - 580752*y^18 - 1161504*y^17 + 290376*y^15 - 105987240*y^14 - 213135984*y^13 - 1451880*y^11 + 356000976*y^10 + 717809472*y^9 + 1742256*y^7 - 275857200*y^6 - 558683424*y^5 - 290376*y^3 + 27876096*y^2 + 56913696*y, 33183615088973223216*x*y^9 + 66367240066928781216*x*y^8 + 393893510814720*x*y^7 + 142589450914928640*x*y^6 - 81117079124688725184*x*y^5 - 162801405100192694976*x*y^4 - 486739838363904*x*y^3 - 176199821487733248*x*y^2 + 35766509888360233872*x*y + 72233956138503596832*x - 703381269312*y^39 - 253217256952320*y^38 - 91667460541817088*y^37 - 114408144*y^36 - 4220058799584*y^35 - 1519303999346496*y^34 - 550004762335637376*y^33 - 705898248480*y^32 - 272906898534720*y^31 - 98757553804398720*y^30 - 2566688875149453264*y^29 + 1363516260192*y^28 + 438996404607552*y^27 + 159025891431097728*y^26 - 8800075865815396704*y^25 + 703381269312*y^24 + 254624019490944*y^23 + 92173895055721728*y^22 + 183334921198042320*y^21 + 1406762538624*y^20 + 509248038981888*y^19 + 184347790111443456*y^18 + 366669842396084640*y^17 + 3516906346560*y^16 + 1273120097454720*y^15 + 33644484564251831856*y^14 + 67283914672918992816*y^13 + 403740848585088*y^12 + 146154187187801856*y^11 - 113010259682881844208*y^10 - 226601956270348883712*y^9 - 851091335867520*y^8 - 308095063584042240*y^7 + 87571277516416048416*y^6 + 176368187862085288032*y^5 + 185692655098368*y^4 + 67220741145609216*y^3 - 8849706794262687024*y^2 - 17966821574026878048*y, 91667457028557864*x*y^9 + 183330558692392176*x*y^8 + 1178252887680*x*y^7 + 393893510814720*x*y^6 - 224080377199302816*x*y^5 - 449716939557804864*x*y^4 - 1417473928512*x*y^3 - 486739838363904*x*y^2 + 98802549597940344*x*y + 199536561279782640*x - 703381269312*y^38 - 253217256952320*y^37 - 3513259224*y^36 - 114408144*y^35 - 4220058799584*y^34 - 1519303999346496*y^33 - 20164290192*y^32 - 705898248480*y^31 - 272906898534720*y^30 - 7090096775840856*y^29 - 78349833072*y^28 + 1363516260192*y^27 + 438996404607552*y^26 - 24309022626018000*y^25 + 8926158240*y^24 + 703381269312*y^23 + 254624019490944*y^22 + 506438027163864*y^21 + 7140926592*y^20 + 1406762538624*y^19 + 509248038981888*y^18 + 1012876054327728*y^17 + 14281853184*y^16 + 3516906346560*y^15 + 92940577126012584*y^14 + 185862748828211496*y^13 + 1213957520640*y^12 + 403740848585088*y^11 - 312183097954987464*y^10 - 625957365869902944*y^9 - 2495753843904*y^8 - 851091335867520*y^7 + 241909678587304944*y^6 + 487193339286077616*y^5 + 539139957696*y^4 + 185692655098368*y^3 - 24446715882948648*y^2 - 49630919521132080*y + 3570463296, 500844575383887850072276608*x*y^8 - 10302069819159236648620800*x*y^7 + 5908029251172547645440*x*y^6 + 2138706588924462247649280*x*y^5 - 1229388563526065826696728640*x*y^4 + 8329565890729897597777536*x*y^3 - 7300636146091791019008*x*y^2 - 2642830284885228348880896*x*y + 546273257385550408035268608*x - 222047181169760056661568*y^39 + 444083812287285876630912*y^38 - 891986743483365435846912*y^37 + 401452441983417775891968*y^36 - 1319136508717366386425472*y^35 + 2638209717121327352697600*y^34 - 5299334147695416800905728*y^33 + 2081494844321194970338752*y^32 - 5484012537839728731926400*y^31 + 10963910555308105153885440*y^30 - 23417277485045746515955200*y^29 + 9384111535166275968109440*y^28 - 17235290419020222753164544*y^27 + 34477206270843546149045760*y^26 - 66556005866964659634656256*y^25 - 798017146665276824998272*y^24 + 10550052234236692224*y^23 + 3819118908793682585088*y^22 + 1382521044983313095801856*y^21 - 371957099928509392004736*y^20 + 21100104468473384448*y^19 + 7638237817587365170176*y^18 + 2765042089966626191603712*y^17 - 521867018687258727347904*y^16 + 52750261171183461120*y^15 + 19095594543968412925440*y^14 + 507757180608804415551285888*y^13 - 11273666594122743381998208*y^12 + 6055729982451861336576*y^11 + 2192174253647573803840512*y^10 - 1710877844280187293427779264*y^9 + 16532896847266643551593984*y^8 - 12765563203426397591040*y^7 - 4621133879640355927956480*y^6 + 1332883129417027534683398592*y^5 - 2991429572419572693600384*y^4 + 2785213789838486747136*y^3 + 1008247391921532202463232*y^2 - 136081066689462952837248192*y - 408025731134014752663936, -319463317786714712515742623682237342208*x*y^8 - 167188575225248977742984639969280*x*y^7 - 4234626255408725001933601277091840*x*y^6 - 1603031752554878936193844757175104832*x*y^5 + 778307572799147857631097796529529868416*x*y^4 + 140174730832846019948274184464384*x*y^3 + 5232788158469353038103664435263488*x*y^2 + 2034463409559746770781288715301100160*x*y - 344163444319550699588426150777649765120*x - 70097048096920485493881094867858752*y^40 + 140190765696624152335844799930883968*y^39 - 280373969560649360519900432716630272*y^38 + 563485322522116503987479371973094912*y^37 - 416426046335877522890863755997583616*y^36 + 832844426458251974440232150592509952*y^35 - 1665643481920910283969729298314193920*y^34 + 3277614216149806780131648540999535296*y^33 - 1731187785771333584459595785169396864*y^32 + 3462363780071982234237347687506656000*y^31 - 6921778445430376249276920188409623040*y^30 + 15191524609567369790123982306826084608*y^29 - 5440794014558279564460022363569354240*y^28 + 10881598047272886185992648339522043904*y^27 - 21767944925417909299308893646190540800*y^26 + 41676618978928409936487922995629380992*y^25 - 12065465030482060593831978096384*y^24 - 7561832598944151789167145137664*y^23 - 2737383400817782947678506539834368*y^22 - 990932791096037427059619367420041216*y^21 - 5655775364203266174197816676864*y^20 - 15123665197888303578334290275328*y^19 - 5474766801635565895357013079668736*y^18 - 1911768534095154368625357639972223680*y^17 - 7981053511587880431005828520192*y^16 - 37809162994720758945835725688320*y^15 - 13686917004088914738392532699171840*y^14 - 324137593549807217709065196139866113280*y^13 - 182145463178990700944414504019456*y^12 - 4340491911793943126981941309019136*y^11 - 1641355120166327897461343848732785984*y^10 + 1084879190183874932964920084396036656128*y^9 + 274809411994710398095946658627072*y^8 + 9149817444722423664892245616573440*y^7 + 3522525059280278823172636197803161536*y^6 - 841262218249365233336579044502926802304*y^5 - 50664854496838929486887212913664*y^4 - 1996323806121256072340126316343296*y^3 - 792766265912815183681006821384131904*y^2 + 85475294557050286237940344671477975936*y - 6158384898920285004488713171968, -2339568370372730846033500497465736241695109511951360*x*y^7 - 165977523731538389247104172329620093608245452800*x*y^6 - 85040261935135980480788383622431563174391069272384*x*y^5 - 2085230062563339164033637664694634712423519797959808*x*y^4 + 1891620574096348990254163314946351151441154774551040*x*y^3 + 205100797182543866712493012950173401387331880960*x*y^2 + 124159285268719046896595817166180949878626571625088*x*y + 1522554824183210237612708414807411544046204971914496*x - 24956398344319083573336673239109089288206215358784*y^40 - 513338011060339325417018349861524731100383958400*y^39 + 1026972410555913540814835100030780926653639783680*y^38 - 1946652207556796908580649288662771721367663756800*y^37 - 57092362855241817832439824452748785947948610498816*y^36 - 3049635201623194256122510964857192834620359600640*y^35 + 6101048733857797852129812331560774455957950402560*y^34 - 36514740130704498239302172433837897408484421300544*y^33 - 143659471305869311304399372227977170528997877279104*y^32 - 12677848874879070250510497741228889400554339756800*y^31 + 25471289239499747593532371602473049937728707596800*y^30 + 90727134184738606595400105197018408733817612359936*y^29 + 193982445537026499756329576734019250073646953574400*y^28 - 39845891011622241090174959016848737389769250964480*y^27 + 79505650085916971272408522640442115103134969528320*y^26 - 276303858173031058366275524117542611640761098805888*y^25 - 181226924407906754667334671544574615585686319645952*y^24 - 296388435234889980798400307731464452871866880*y^23 - 107292613555030173049020911398790131939615810560*y^22 - 38839926106920922643745569926362027762140923422720*y^21 - 84470177886687195967359299441964048499533678105600*y^20 - 592776870469779961596800615462928905743733760*y^19 - 214585227110060346098041822797580263879231621120*y^18 - 52723453869522761714154466613614966236075631486656*y^17 - 118514221073675885462628234055848393691554541535232*y^16 - 1481942176174449903992001538657322264359334400*y^15 - 536463067775150865245104556993950659698079052800*y^14 - 94374037157328278925381156675373781657879755678464*y^13 - 2560214721007372799981935535363237670962726643775488*y^12 - 170126961824826848978281776637860595948451589120*y^11 - 86542358524906402903474676382014625021545690620224*y^10 - 2279599451239764911019362218316175851058605710854912*y^9 + 3754572339851238183353898727817706560447972198487552*y^8 + 358630006634216876766064372355071987974958924800*y^7 + 204693257434543760109325322509863327511553776853952*y^6 + 3174415110783186662129192458072077376293704323341696*y^5 - 679345209378952064189415882295279187965844638588416*y^4 - 78246546902010954930777681241106615558172856320*y^3 - 53281648322847049258278193848389684120264789346624*y^2 - 471345679265103156526271569178673852959467746913152*y - 92661223643042104455770014549061727557279653728768, -17192329889826115712360700032543363689251074744244881359328409600*x*y^7 - 30266751119714596887882642970950563180071026563013888238164548928*x*y^6 - 738840057533762587160653552101846094600612026135852126589813777536*x*y^5 - 1371113206347881580342176837726421402983968754621650908307859281920*x*y^\ 4 + 13925813334299431947526736669261944646989004339678341272748047360*x*y^3 + 44191839394426558804095358079793407247026734184392570740976757376*x*y^2 + 537674427280235461707686885691843358866702021863236913236251124992*x*y + 908499906323786098378927781754416468121325715795043964271870853120*x - 8885136182327971691305167263519902658237898975827637743311019328*y^41 - 182761874245958748079149665630280388484232526607989181919292800*y^40 - 3654490902479092438285902524749430171651708600472841400904960*y^39 + 45490437050291444156174440241339325560862573606635415828334080*y^38 - 21809838804601829794316863995116040875316906431664138449298999552*y^37 - 418100280616467028770150272051825712607643485996543301906127360*y^36 - 21704366341395744788008246775985092245313833078605134937154560*y^35 - 8612638718173180646051534958816889682441916371236289075277565248*y^34 - 59959814926939248744172166854677258419344093635874790277352034688*y^33 - 1051941813221441759159647556773552508220423759909674505229528320*y^32 - 51938568602589327598273126256391965984264059673502047094950400*y^31 + 50535189412197036539462243031410175999768195020876550947778400512*y^30 + 30117900270580065755033128979955275292566047729993819476677836800*y^29 + 1420404732394119518712385647789056340889654483332369470671165440*y^28 - 357677110963585642222485878049281187022842970699000315135518720*y^27 - 41032872036798058925755817671417055099057262233030427197008173696*y^26 - 175209988481060467875092772143802731268354092146435690628872353024*y^25 - 1327277396595665572967418031004970699585007945467318160619927040*y^24 - 38181455245333259279602635191840465217559156405689733026524160*y^23 - 13821686798810639859216153939446248408756414618859683355601745920*y^22 - 27774359065787481905354058508396435356598665563728238473661199360*y^21 - 618808030003256552058032144261604311099866242194113082208552960*y^20 - 76362910490666518559205270383680930435118312811379466053048320*y^19 - 18758237415293308027127140615372594159274930261891728967892472512*y^18 - 37595683892673061680018632824122785008237300649193212278781067264*y^17 - 868437820612116515519479054737898415059615722571774959177615360*y^16 - 190907276226666296398013175959202326087795782028448665132620800*y^15 - 33567889264741312530860100643151631410830477190987865804764652288*y^14 - 67059658373329801004012355771301833963153205905588133694140670976*y^13 - 18809657082264812118264519818710144416189938907949641949413212160*y^12 - 30801291493149262517797079863636329693116854752693544500535887168*y^11 - 807951766164519941511407365564814935107871245138300765161883949824*y^10 - 1508611753924279697187480878146590298106909645818160541579537432576*y^9 + 27623326155601508171427179955137190880803586358635956354509583360*y^8 + 72854969393837158802234690372686670887960276178367490192027291584*y^7 + 1122490176015693815963910000985902347894963784846708950569720501632*y^6 + 1974835675375884740969329403376351699966231979696745560775943671808*y^5 - 5002865213679055168967295474011072081206707200396551514683315200*y^4 - 18965040367095952141120262954165785475673516266929727262313397568*y^3 - 166134693287689978589518222379638018270921293381130399682860639104*y^2 - 259304481479940180110411259538430476594935817150345128846511527936*y - 678582254396024864625601305916112362690049882913507746343767040, 180383283848388763490882453520913030373366844473795846634636883712347055\ 0913984*x*y^6 + 439977970344274993009923376584749038409329517058883791497324079997447615\ 76172288*x*y^5 + 808053979843549078130710997378742939801845022275062968893584950645411041\ 67141120*x*y^4 - 150371811035096452948681282676691132960498679977212280997612491054019596\ 2880*x*y^3 - 263375426136443997806432906490733084446926735938244629315601539609455643\ 4425728*x*y^2 - 319911447854294941113620643282941155389269956615887341123619504979655023\ 97876736*x*y - 534799721422944789880596984079133622069055278691869062438873097450838299\ 74791680*x + 529556219937467627007284341082680146539932610970800620223554641410070051\ 509184*y^41 - 375686520534776251518421480975897325226728318724105652734173710186191283\ 20*y^40 - 701948006784910312854223241956900163837050246789418854126479777704397312\ 0*y^39 - 226145500155433752213852302467238013456921584107699349099392432536269865\ 9840*y^38 + 129901897562118624939420449917689578052863249730872943163253009491912885\ 1955456*y^37 - 860170780162610254984875312415411912015834291833387579451510219269303552\ 00*y^36 - 420714027260589912809486181492924095604570899452472550665634235409354035\ 20*y^35 + 5159873989727795306194725933819096225319777840746144235252290 ... 825664381828254818611375517991447193810178837553932010211971411599067133\ 392521568823726719194961821340617434804606285817339504526136007945274542\ 312519227145659187778370602889346859843770541263337960907268346818315071\ 633833796046776348711968692138081234166913253611076167056572721473181506\ 283409440698173227008000*y^31 - 200826498197439668573899329414315746238194594043045359446102672261613723\ 690847748450470110635489203060062957505231986721983802922360215122472590\ 558440526274448328260283346241505322931050248862615682817457789682229181\ 378487604870227207438670576838864520867508982661237867151791750034823318\ 3980023141515507216690846218695175770315161600*y^30 + 402631646585501688708650918564249315255484609362775518287609859372807126\ 113910948150659108251111193447499956611151257577249392579671830654371898\ 717956423837515572598051680867465344266570001462863337578054864820721395\ 757659666691746156212673647267025749199485305845837942935535201840961021\ 7833925996350840483763181469828782551256268800*y^29 - 191593308107768606299392875876548695674469763560549794859079106720549828\ 789237201250993588429334427200598699897705070488003204558292778224988327\ 014837957318634238283208785702738447354850081079902859632715779031454211\ 863479882167917618053881442163294916374409012233470407294883212256939444\ 5065570850831514582583637053047825299626393600*y^28 - 380609775117178731633675282837634499715912969156807829395149158629586927\ 984201840177595605508308457951053748681161506382908113347430627328741333\ 074153112720234081516455836623877457199273674498516145178714508170914404\ 433052495796521778697635655126994553366443347473077546219103079779047439\ 236685569899163556745015578542521353188147200*y^27 + 748248479569386375780399655313578611268571699146774159294888114950456009\ 730702570545429440034972629363946360967124271076919055530776348214806737\ 871002455496080723160458212134168584566007276332716357545627468086579298\ 670419411999455577421323836859356186264262369129537507814845744884932304\ 656577372256677546723973558185444104575385600*y^26 - 147733274131913731845060514404415640698907735525159289447476059616014727\ 957682253636262284725492940590102768554989125376410896298952879091349830\ 685192817991757860785754581880849838517076940263643467608447545380368584\ 390392628337071862772394042131112481929061510135870364723371945024337017\ 0854596529387309749710819109812395013727846400*y^25 + 295935904689949028273460998251156688778346250669284421100722781504476192\ 973724780376372647888415993786232823270882749822372601416025018646791126\ 782926526624262398949536859660471372017729164149335603222588421816025501\ 876558278940038930393371010923497071327135921857008562028706886198418403\ 583294077807609873320519228983516402274713600*y^24 - 631728963868930427072630630589910690157323130602834725490930451624078206\ 728147991466788830443961460775067964256008584223293494589128019450987097\ 338132985812905326185480695021318292422398930321854450728184772471326769\ 860300098444068950454000403265349531651501154988466449448076702391859630\ 32408332165640679700245136133460299507302400*y^23 + 123590094350383358607010378702049711595610346558358178783443678503539120\ 436836609868800040672824191095554930026631278555336200082022603473534423\ 409023125592752273407080826489631712655614374369473916765612211645570329\ 465213588171008732826856829127800919622121582708268393312162486286361612\ 752699428352769168177106773596064402794086400*y^22 - 228474798749312834928247977739603280124956846121939990017687732540037508\ 025548396470916785274804715651962893959367644447957884197078504328595038\ 504138932431765244818418455221153386639629502372537206117293862487145596\ 667673186243059856953674820605586797269611373552866345775287783366018757\ 846362502426882269970549462923802493478502400*y^21 + 188852793888772333843248587659444086230962738856093349659304157738556989\ 269900442808836583558128857260161272484443692080288396510274674374858274\ 359927160035640423185871156548146251903388169457903311959339324578332780\ 378796652743812311743825373529203675103005907968706485727424759095415747\ 27026755970455452158608972781317708473958400*y^20 - 370013344279249333939923528359951979305325708792548582476034214291427239\ 079745229145484695296855196271986673167756655476484836417261876284195102\ 233395171557023457998517058812616509452322606061024456070546207460367596\ 188659796498451753905551646057011596954223215324810129429786062575028420\ 84020430188144275349725480480850970463436800*y^19 + 721014994885313665200280524675519908242335386344168348578606095334539206\ 603460546761058221989148550202723344196937872611069670202909658095111365\ 779355888866947059909422936601292551156841866222973746139598040716564921\ 948391092438784048010493482656913567480893279545352301436058683104784794\ 13864707698978788183354332976079010843852800*y^18 - 113457680660908502710272581064635387200246526209656623491362896820456896\ 377283915793943689157587525000947132236632630477632779617667594486853599\ 093176275659048734865681953368072310572338228420621431907451472250632140\ 662968266743130290357719678426621370340766594910133396512884216384575999\ 848354591492890092527802850390432174361804800*y^17 + 110626044412914064241959892573018980601359867156016114888015135089478211\ 641142915955765612323035005619787681559025056503372005171817975777050163\ 894432487777940710819925192841527211273616649108669357468275878960528981\ 101584002409630275047453055758592305044255184358023664685952878495652998\ 03444701787938487661453098141315609971916800*y^16 - 216658964184892510449808619610633551450998005528834858916653178795382363\ 262832463470512719069451438847400348108244950985758858406504946760369626\ 960100597757418923613686910995384298944714161423621479305111959247593192\ 916275929679733797271314756656134338426061496970012226075475639638904110\ 11663676236594482505555385827439570164121600*y^15 + 416450069713485391795715169803788360983669097453968498274447653204142564\ 086846957930237593317046349332707316904668756080383805608276277596942233\ 320829331851701874874359558591155786209705433835765376879728436974092058\ 716930684223230584274029959351578795684423876764545418164981418777546290\ 16368881900093689850690371995302201235865600*y^14 - 245481745323345016742786267211745240662000020081737994807952789844223357\ 623028607631776102725180735570855093147779555172875845613054862256468926\ 979579401497945321225675600888733779946219207375129177768495103552145068\ 189380085489771694002003069429351469655075566749278136833376185714863168\ 77081276559109479288227236399711298099609600*y^13 + 648005145651951053066568121656315988691000948986750323544939589680058322\ 793207033515150881992142344833611989626442205658326368156835689198648163\ 337176274997285346046427026876210335901212150286657319083429477263223741\ 906286720470802549614678086716826885744080410597636450844918380379171547\ 9131313993124826343962439007807516495052800*y^12 - 126736197792583431590138956423924276282023467658862230703298736354334615\ 692134455235384683224002513464807213995937488042878764622922995524215128\ 779183814225900266438873657931413868834654629218902118037948770767190275\ 052258006870161046388373692428088187620141448525837859947300021650578973\ 59411084200686860337058054689968914379571200*y^11 + 232154243443110043051900920149519547303074583616454655198372106021028135\ 959940674722844966923760237791207660523884952585054134901465223571916678\ 492342126150831586435161045119277711914388915563811470506878680501716311\ 426216707791892338613518094652373884182473773464485227115801133071894309\ 70363927821850929979025996595280710153011200*y^10 + 733885644178266773440621393608936071054378655597634779581063641378849170\ 968284074767040888415479460591066906401879938807707520205290102002744807\ 274593859646591766477403522628692911971327502909879879442422104264519790\ 453618711652004593612956601862556325361751148403016999276653189527670658\ 35608245866714969666467233810843981106380800*y^9 + 379538188171193247933362979013761321248528532562624438840290338674808343\ 440968317867807401974507797429354681233895266824293552170203532481203564\ 976895273615257921720889139030390964181134769169140646046561950659755556\ 431186191614280262695777885609877814159200346531711665571212796526359374\ 8447889961185890083679543758959833146982400*y^8 - 738809220235728208024416558770180604034635858350191249573974873378930178\ 434630132891196898369214774027864955642020403056233493415360106783749120\ 076775940093061944904410728851062613700765853212957394587578619686801059\ 054279304174353212393011722352321292771265827541454166481879838145464237\ 5911463590753438365696391788821666489958400*y^7 + 112484743065061001155375921561313306951098072535716342760180485422900001\ 305016656078926756328692134231066170884373645150765434137667197842523200\ 863182993855759009505062431209278614016646619917110038802379876135636969\ 181557774274184380982782905026109618174176991322866386789227343075042133\ 13953578726083834100669591522978291934822400*y^6 + 205800747628108932388269836156073029359950339948921348772649956163718915\ 435083177173121729519909383984595611321369354385204457434694216179245318\ 403707277189436621946038084243867980858826847849429764239641952658473225\ 391463637684883255477326915711396287099853895744242322060511535417305688\ 8313240275164243302550070578544048458851942400*y^5 + 222219449024211526612892360440167264635556391748887993112951538827395298\ 359456210285960084847023561031515453499951804497377838325583333982746312\ 266908402836322502658072279081330877019353076495044984176112089747455163\ 587610041362867081926008676834690229284605347534852072416208115192560691\ 3153006987621027708265265040946273819033600*y^4 - 425594109551726507124948494653998054045388605368318783780102756655414031\ 907633812629221830593094851582482258588171653479878834460058958695766920\ 946298128265101970086575019780360756527698654332391735935073011305506565\ 750912325219366526373291357550482531655909991465428047180302449371052470\ 8012644484029956845819347142999135800524800*y^3 + 191663028132071435961070070878378126105189888656254976751524651436889045\ 780810209660612420027358248051496876860673693755864782444560617237413535\ 389940290330456921762023704275177097948122992076070352644061996930269356\ 949023046191052368576363210392340499580197203505277222372784028414948624\ 5557721738368464216519071166271455022284800*y^2 - 116660005518315505310826490495802441417919679329202623213418848039603948\ 929757870674545570892186198964776263361936142801264569909626202370277962\ 600565271239759746910028369752489579795353742514588959450459706014633512\ 349141548250089084311033120039145501527571329508846878333983676067332036\ 8481670685430165342561525778398937419670528000*y + 263696600015563176816276414918107724339082043656196625110236663359058531\ 595438089483740466642358674452076627409559479763660487143836957196637462\ 368766669094550186410941781882473364893171588775443535555286398822363594\ 592330999314353387340495930688192931093662521492041399172631332247964487\ 601111412065097767830185834490243666923929600, -76700309905577633501906096780784566018868905274000345022566033622422088\ 516208483447917812507697055568743837212999902481473816748199523853334048\ 267417564238605265444319920587577156857652135495335470441559943098771765\ 336632344213431613954527228037913085221786468476632516944584742092873089\ 607606429373842875036282542491672675341623064809064611839954437269708800\ *y^48 - 767003099055776335019060967807845660188689052740003450225660336224220885\ 162084834479178125076970555687438372129999024814738167481995238533340482\ 674175642386052654443199205875771568576521354953354704415599430987717653\ 366323442134316139545272280379130852217864684766325169445847420928730896\ 07606429373842875036282542491672675341623064809064611839954437269708800*\ y^41 - 153400619811155267003812193561569132037737810548000690045132067244844177\ 032416966895835625015394111137487674425999804962947633496399047706668096\ 534835128477210530888639841175154313715304270990670940883119886197543530\ 673264688426863227909054456075826170443572936953265033889169484185746179\ 215212858747685750072565084983345350683246129618129223679908874539417600\ *y^40 + 613602479244621068015248774246276528150951242192002760180528268979376708\ 129667867583342500061576444549950697703999219851790533985596190826672386\ 139340513908842123554559364700617254861217083962683763532479544790174122\ 693058753707452911636217824303304681774291747813060135556677936742984716\ 860851434990743000290260339933381402732984518472516894719635498157670400\ *y^37 + 122720495848924213603049754849255305630190248438400552036105653795875341\ 625933573516668500012315288909990139540799843970358106797119238165334477\ 227868102781768424710911872940123450972243416792536752706495908958034824\ 538611750741490582327243564860660936354858349562612027111335587348596943\ 372170286998148600058052067986676280546596903694503378943927099631534080\ 0*y^36 - 153400619811155267003812193561569132037737810548000690045132067244844177\ 032416966895835625015394111137487674425999804962947633496399047706668096\ 534835128477210530888639841175154313715304270990670940883119886197543530\ 673264688426863227909054456075826170443572936953265033889169484185746179\ 215212858747685750072565084983345350683246129618129223679908874539417600\ 0*y^33 - 306801239622310534007624387123138264075475621096001380090264134489688354\ 064833933791671250030788222274975348851999609925895266992798095413336193\ 069670256954421061777279682350308627430608541981341881766239772395087061\ 346529376853726455818108912151652340887145873906530067778338968371492358\ 430425717495371500145130169966690701366492259236258447359817749078835200\ 0*y^32 + 122720495848924213603049754849255305630190248438400552036105653795875341\ 625933573516668500012315288909990139540799843970358106797119238165334477\ 227868102781768424710911872940123450972243416792536752706495908958034824\ 538611750741490582327243564860660936354858349562612027111335587348596943\ 372170286998148600058052067986676280546596903694503378943927099631534080\ 0*y^29 + 245440991697848427206099509698510611260380496876801104072211307591750683\ 251867147033337000024630577819980279081599687940716213594238476330668954\ 455736205563536849421823745880246901944486833585073505412991817916069649\ 077223501482981164654487129721321872709716699125224054222671174697193886\ 744340573996297200116104135973352561093193807389006757887854199263068160\ 0*y^28 - 153400619811155267003812193561569132037737810548000690045132067244844177\ 032416966895835625015394111137487674425999804962947633496399047706668096\ 534835128477210530888639841175154313715304270990670940883119886197543530\ 673264688426863227909054456075826170443572936953265033889169484185746179\ 215212858747685750072565084983345350683246129618129223679908874539417600\ *y^25 - 306801239622310534007624387123138264075475621096001380090264134489688354\ 064833933791671250030788222274975348851999609925895266992798095413336193\ 069670256954421061777279682350308627430608541981341881766239772395087061\ 346529376853726455818108912151652340887145873906530067778338968371492358\ 430425717495371500145130169966690701366492259236258447359817749078835200\ *y^24 - 767003099055776335019060967807845660188689052740003450225660336224220885\ 162084834479178125076970555687438372129999024814738167481995238533340482\ 674175642386052654443199205875771568576521354953354704415599430987717653\ 366323442134316139545272280379130852217864684766325169445847420928730896\ 07606429373842875036282542491672675341623064809064611839954437269708800*\ y^2 - 306801239622310534007624387123138264075475621096001380090264134489688354\ 064833933791671250030788222274975348851999609925895266992798095413336193\ 069670256954421061777279682350308627430608541981341881766239772395087061\ 346529376853726455818108912151652340887145873906530067778338968371492358\ 430425717495371500145130169966690701366492259236258447359817749078835200\ *y - 306801239622310534007624387123138264075475621096001380090264134489688354\ 064833933791671250030788222274975348851999609925895266992798095413336193\ 069670256954421061777279682350308627430608541981341881766239772395087061\ 346529376853726455818108912151652340887145873906530067778338968371492358\ 430425717495371500145130169966690701366492259236258447359817749078835200\ ] WARNING: Output truncated! full_output.txt [x^2 + x*y^5 + y^6, -2*x*y^24 + 2*x*y^9 + 4*x*y^8 - 8*x*y^5 - 16*x*y^4 + 6*x*y + 12*x - 2*y^25 + 2*y^14 + 4*y^13 - 10*y^10 - 20*y^9 + 12*y^6 + 24*y^5 - 2*y^2 - 4*y, -8*x*y^23 + 6*x*y^12 + 12*x*y^11 - 28*x*y^8 - 56*x*y^7 + 28*x*y^4 + 56*x*y^3 - 2*y^24 + 6*y^17 + 12*y^16 - 34*y^13 - 68*y^12 + 50*y^9 + 100*y^8 - 12*y^5 - 24*y^4 - 2*y - 4, 6*x*y^13 + 12*x*y^12 - 36*x*y^9 - 72*x*y^8 + 60*x*y^5 + 120*x*y^4 - 24*x*y - 48*x + 6*y^25 + 6*y^18 + 12*y^17 - 42*y^14 - 84*y^13 + 90*y^10 + 180*y^9 - 60*y^6 - 120*y^5 + 6*y^2 + 12*y, 147552*x*y^12 - 24*x*y^9 - 876624*x*y^8 + 96*x*y^5 + 1454208*x*y^4 - 72*x*y - 580752*x - 24*y^36 + 48*y^35 - 96*y^34 + 192*y^33 - 528*y^32 + 1056*y^31 - 2112*y^30 + 4200*y^29 - 9072*y^28 + 18144*y^27 - 36288*y^26 + 72624*y^25 + 24*y^21 + 147600*y^17 - 24*y^14 - 1024056*y^13 + 120*y^10 + 2183616*y^9 - 144*y^6 - 1452432*y^5 + 24*y^2 + 145200*y, -72594*x*y^12 + 2364*x*y^11 + 435540*x*y^8 - 5496*x*y^7 - 725844*x*y^4 + 2328*x*y^3 + 290304*x - 24*y^35 + 48*y^34 - 96*y^33 + 192*y^32 - 528*y^31 + 1056*y^30 - 2112*y^29 + 4200*y^28 - 9072*y^27 + 18144*y^26 - 36288*y^25 + 30*y^24 + 24*y^20 - 72594*y^17 + 2412*y^16 + 508134*y^13 - 7740*y^12 - 1088790*y^9 + 5796*y^8 + 725796*y^5 - 552*y^4 - 72570*y + 12, -58135488*x*y^11 + 290376*x*y^9 - 104525904*x*y^8 + 135157632*x*y^7 - 1161504*x*y^5 + 255493056*x*y^4 - 57250176*x*y^3 + 871128*x*y - 112637520*x + 290376*y^36 + 9456*y^35 - 18912*y^34 + 37824*y^33 + 1666608*y^32 + 208032*y^31 - 416064*y^30 + 1122504*y^29 + 6475728*y^28 + 3574368*y^27 - 7148736*y^26 + 13716720*y^25 - 737760*y^24 - 290376*y^21 - 590208*y^20 - 580752*y^17 - 59315904*y^16 + 290376*y^14 - 105977784*y^13 + 190342080*y^12 - 1451880*y^10 + 355953696*y^9 - 142535232*y^8 + 1742256*y^6 - 275800464*y^5 + 13574784*y^4 - 290376*y^2 + 27866640*y - 295104, 290376*x*y^10 - 104535360*x*y^9 - 210232224*x*y^8 - 1161504*x*y^6 + 255530880*x*y^5 + 515707776*x*y^4 + 871128*x*y^2 - 112665888*x*y - 228816288*x + 290376*y^37 + 1742256*y^33 + 290376*y^30 + 8130528*y^29 - 580752*y^26 + 27876096*y^25 - 290376*y^22 - 580752*y^21 - 580752*y^18 - 1161504*y^17 + 290376*y^15 - 105987240*y^14 - 213135984*y^13 - 1451880*y^11 + 356000976*y^10 + 717809472*y^9 + 1742256*y^7 - 275857200*y^6 - 558683424*y^5 - 290376*y^3 + 27876096*y^2 + 56913696*y, 33183615088973223216*x*y^9 + 66367240066928781216*x*y^8 + 393893510814720*x*y^7 + 142589450914928640*x*y^6 - 81117079124688725184*x*y^5 - 162801405100192694976*x*y^4 - 486739838363904*x*y^3 - 176199821487733248*x*y^2 + 35766509888360233872*x*y + 72233956138503596832*x - 703381269312*y^39 - 253217256952320*y^38 - 91667460541817088*y^37 - 114408144*y^36 - 4220058799584*y^35 - 1519303999346496*y^34 - 550004762335637376*y^33 - 705898248480*y^32 - 272906898534720*y^31 - 98757553804398720*y^30 - 2566688875149453264*y^29 + 1363516260192*y^28 + 438996404607552*y^27 + 159025891431097728*y^26 - 8800075865815396704*y^25 + 703381269312*y^24 + 254624019490944*y^23 + 92173895055721728*y^22 + 183334921198042320*y^21 + 1406762538624*y^20 + 509248038981888*y^19 + 184347790111443456*y^18 + 366669842396084640*y^17 + 3516906346560*y^16 + 1273120097454720*y^15 + 33644484564251831856*y^14 + 67283914672918992816*y^13 + 403740848585088*y^12 + 146154187187801856*y^11 - 113010259682881844208*y^10 - 226601956270348883712*y^9 - 851091335867520*y^8 - 308095063584042240*y^7 + 87571277516416048416*y^6 + 176368187862085288032*y^5 + 185692655098368*y^4 + 67220741145609216*y^3 - 8849706794262687024*y^2 - 17966821574026878048*y, 91667457028557864*x*y^9 + 183330558692392176*x*y^8 + 1178252887680*x*y^7 + 393893510814720*x*y^6 - 224080377199302816*x*y^5 - 449716939557804864*x*y^4 - 1417473928512*x*y^3 - 486739838363904*x*y^2 + 98802549597940344*x*y + 199536561279782640*x - 703381269312*y^38 - 253217256952320*y^37 - 3513259224*y^36 - 114408144*y^35 - 4220058799584*y^34 - 1519303999346496*y^33 - 20164290192*y^32 - 705898248480*y^31 - 272906898534720*y^30 - 7090096775840856*y^29 - 78349833072*y^28 + 1363516260192*y^27 + 438996404607552*y^26 - 24309022626018000*y^25 + 8926158240*y^24 + 703381269312*y^23 + 254624019490944*y^22 + 506438027163864*y^21 + 7140926592*y^20 + 1406762538624*y^19 + 509248038981888*y^18 + 1012876054327728*y^17 + 14281853184*y^16 + 3516906346560*y^15 + 92940577126012584*y^14 + 185862748828211496*y^13 + 1213957520640*y^12 + 403740848585088*y^11 - 312183097954987464*y^10 - 625957365869902944*y^9 - 2495753843904*y^8 - 851091335867520*y^7 + 241909678587304944*y^6 + 487193339286077616*y^5 + 539139957696*y^4 + 185692655098368*y^3 - 24446715882948648*y^2 - 49630919521132080*y + 3570463296, 500844575383887850072276608*x*y^8 - 10302069819159236648620800*x*y^7 + 5908029251172547645440*x*y^6 + 2138706588924462247649280*x*y^5 - 1229388563526065826696728640*x*y^4 + 8329565890729897597777536*x*y^3 - 7300636146091791019008*x*y^2 - 2642830284885228348880896*x*y + 546273257385550408035268608*x - 222047181169760056661568*y^39 + 444083812287285876630912*y^38 - 891986743483365435846912*y^37 + 401452441983417775891968*y^36 - 1319136508717366386425472*y^35 + 2638209717121327352697600*y^34 - 5299334147695416800905728*y^33 + 2081494844321194970338752*y^32 - 5484012537839728731926400*y^31 + 10963910555308105153885440*y^30 - 23417277485045746515955200*y^29 + 9384111535166275968109440*y^28 - 17235290419020222753164544*y^27 + 34477206270843546149045760*y^26 - 66556005866964659634656256*y^25 - 798017146665276824998272*y^24 + 10550052234236692224*y^23 + 3819118908793682585088*y^22 + 1382521044983313095801856*y^21 - 371957099928509392004736*y^20 + 21100104468473384448*y^19 + 7638237817587365170176*y^18 + 2765042089966626191603712*y^17 - 521867018687258727347904*y^16 + 52750261171183461120*y^15 + 19095594543968412925440*y^14 + 507757180608804415551285888*y^13 - 11273666594122743381998208*y^12 + 6055729982451861336576*y^11 + 2192174253647573803840512*y^10 - 1710877844280187293427779264*y^9 + 16532896847266643551593984*y^8 - 12765563203426397591040*y^7 - 4621133879640355927956480*y^6 + 1332883129417027534683398592*y^5 - 2991429572419572693600384*y^4 + 2785213789838486747136*y^3 + 1008247391921532202463232*y^2 - 136081066689462952837248192*y - 408025731134014752663936, -319463317786714712515742623682237342208*x*y^8 - 167188575225248977742984639969280*x*y^7 - 4234626255408725001933601277091840*x*y^6 - 1603031752554878936193844757175104832*x*y^5 + 778307572799147857631097796529529868416*x*y^4 + 140174730832846019948274184464384*x*y^3 + 5232788158469353038103664435263488*x*y^2 + 2034463409559746770781288715301100160*x*y - 344163444319550699588426150777649765120*x - 70097048096920485493881094867858752*y^40 + 140190765696624152335844799930883968*y^39 - 280373969560649360519900432716630272*y^38 + 563485322522116503987479371973094912*y^37 - 416426046335877522890863755997583616*y^36 + 832844426458251974440232150592509952*y^35 - 1665643481920910283969729298314193920*y^34 + 3277614216149806780131648540999535296*y^33 - 1731187785771333584459595785169396864*y^32 + 3462363780071982234237347687506656000*y^31 - 6921778445430376249276920188409623040*y^30 + 15191524609567369790123982306826084608*y^29 - 5440794014558279564460022363569354240*y^28 + 10881598047272886185992648339522043904*y^27 - 21767944925417909299308893646190540800*y^26 + 41676618978928409936487922995629380992*y^25 - 12065465030482060593831978096384*y^24 - 7561832598944151789167145137664*y^23 - 2737383400817782947678506539834368*y^22 - 990932791096037427059619367420041216*y^21 - 5655775364203266174197816676864*y^20 - 15123665197888303578334290275328*y^19 - 5474766801635565895357013079668736*y^18 - 1911768534095154368625357639972223680*y^17 - 7981053511587880431005828520192*y^16 - 37809162994720758945835725688320*y^15 - 13686917004088914738392532699171840*y^14 - 324137593549807217709065196139866113280*y^13 - 182145463178990700944414504019456*y^12 - 4340491911793943126981941309019136*y^11 - 1641355120166327897461343848732785984*y^10 + 1084879190183874932964920084396036656128*y^9 + 274809411994710398095946658627072*y^8 + 9149817444722423664892245616573440*y^7 + 3522525059280278823172636197803161536*y^6 - 841262218249365233336579044502926802304*y^5 - 50664854496838929486887212913664*y^4 - 1996323806121256072340126316343296*y^3 - 792766265912815183681006821384131904*y^2 + 85475294557050286237940344671477975936*y - 6158384898920285004488713171968, -2339568370372730846033500497465736241695109511951360*x*y^7 - 165977523731538389247104172329620093608245452800*x*y^6 - 85040261935135980480788383622431563174391069272384*x*y^5 - 2085230062563339164033637664694634712423519797959808*x*y^4 + 1891620574096348990254163314946351151441154774551040*x*y^3 + 205100797182543866712493012950173401387331880960*x*y^2 + 124159285268719046896595817166180949878626571625088*x*y + 1522554824183210237612708414807411544046204971914496*x - 24956398344319083573336673239109089288206215358784*y^40 - 513338011060339325417018349861524731100383958400*y^39 + 1026972410555913540814835100030780926653639783680*y^38 - 1946652207556796908580649288662771721367663756800*y^37 - 57092362855241817832439824452748785947948610498816*y^36 - 3049635201623194256122510964857192834620359600640*y^35 + 6101048733857797852129812331560774455957950402560*y^34 - 36514740130704498239302172433837897408484421300544*y^33 - 143659471305869311304399372227977170528997877279104*y^32 - 12677848874879070250510497741228889400554339756800*y^31 + 25471289239499747593532371602473049937728707596800*y^30 + 90727134184738606595400105197018408733817612359936*y^29 + 193982445537026499756329576734019250073646953574400*y^28 - 39845891011622241090174959016848737389769250964480*y^27 + 79505650085916971272408522640442115103134969528320*y^26 - 276303858173031058366275524117542611640761098805888*y^25 - 181226924407906754667334671544574615585686319645952*y^24 - 296388435234889980798400307731464452871866880*y^23 - 107292613555030173049020911398790131939615810560*y^22 - 38839926106920922643745569926362027762140923422720*y^21 - 84470177886687195967359299441964048499533678105600*y^20 - 592776870469779961596800615462928905743733760*y^19 - 214585227110060346098041822797580263879231621120*y^18 - 52723453869522761714154466613614966236075631486656*y^17 - 118514221073675885462628234055848393691554541535232*y^16 - 1481942176174449903992001538657322264359334400*y^15 - 536463067775150865245104556993950659698079052800*y^14 - 94374037157328278925381156675373781657879755678464*y^13 - 2560214721007372799981935535363237670962726643775488*y^12 - 170126961824826848978281776637860595948451589120*y^11 - 86542358524906402903474676382014625021545690620224*y^10 - 2279599451239764911019362218316175851058605710854912*y^9 + 3754572339851238183353898727817706560447972198487552*y^8 + 358630006634216876766064372355071987974958924800*y^7 + 204693257434543760109325322509863327511553776853952*y^6 + 3174415110783186662129192458072077376293704323341696*y^5 - 679345209378952064189415882295279187965844638588416*y^4 - 78246546902010954930777681241106615558172856320*y^3 - 53281648322847049258278193848389684120264789346624*y^2 - 471345679265103156526271569178673852959467746913152*y - 92661223643042104455770014549061727557279653728768, -17192329889826115712360700032543363689251074744244881359328409600*x*y^7 - 30266751119714596887882642970950563180071026563013888238164548928*x*y^6 - 738840057533762587160653552101846094600612026135852126589813777536*x*y^5 - 1371113206347881580342176837726421402983968754621650908307859281920*x*y^4 + 13925813334299431947526736669261944646989004339678341272748047360*x*y^3 + 44191839394426558804095358079793407247026734184392570740976757376*x*y^2 + 537674427280235461707686885691843358866702021863236913236251124992*x*y + 908499906323786098378927781754416468121325715795043964271870853120*x - 8885136182327971691305167263519902658237898975827637743311019328*y^41 - 182761874245958748079149665630280388484232526607989181919292800*y^40 - 3654490902479092438285902524749430171651708600472841400904960*y^39 + 45490437050291444156174440241339325560862573606635415828334080*y^38 - 21809838804601829794316863995116040875316906431664138449298999552*y^37 - 418100280616467028770150272051825712607643485996543301906127360*y^36 - 21704366341395744788008246775985092245313833078605134937154560*y^35 - 8612638718173180646051534958816889682441916371236289075277565248*y^34 - 59959814926939248744172166854677258419344093635874790277352034688*y^33 - 1051941813221441759159647556773552508220423759909674505229528320*y^32 - 51938568602589327598273126256391965984264059673502047094950400*y^31 + 50535189412197036539462243031410175999768195020876550947778400512*y^30 + 30117900270580065755033128979955275292566047729993819476677836800*y^29 + 1420404732394119518712385647789056340889654483332369470671165440*y^28 - 357677110963585642222485878049281187022842970699000315135518720*y^27 - 41032872036798058925755817671417055099057262233030427197008173696*y^26 - 175209988481060467875092772143802731268354092146435690628872353024*y^25 - 1327277396595665572967418031004970699585007945467318160619927040*y^24 - 38181455245333259279602635191840465217559156405689733026524160*y^23 - 13821686798810639859216153939446248408756414618859683355601745920*y^22 - 27774359065787481905354058508396435356598665563728238473661199360*y^21 - 618808030003256552058032144261604311099866242194113082208552960*y^20 - 76362910490666518559205270383680930435118312811379466053048320*y^19 - 18758237415293308027127140615372594159274930261891728967892472512*y^18 - 37595683892673061680018632824122785008237300649193212278781067264*y^17 - 868437820612116515519479054737898415059615722571774959177615360*y^16 - 190907276226666296398013175959202326087795782028448665132620800*y^15 - 33567889264741312530860100643151631410830477190987865804764652288*y^14 - 67059658373329801004012355771301833963153205905588133694140670976*y^13 - 18809657082264812118264519818710144416189938907949641949413212160*y^12 - 30801291493149262517797079863636329693116854752693544500535887168*y^11 - 807951766164519941511407365564814935107871245138300765161883949824*y^10 - 1508611753924279697187480878146590298106909645818160541579537432576*y^9 + 27623326155601508171427179955137190880803586358635956354509583360*y^8 + 72854969393837158802234690372686670887960276178367490192027291584*y^7 + 1122490176015693815963910000985902347894963784846708950569720501632*y^6 + 1974835675375884740969329403376351699966231979696745560775943671808*y^5 - 5002865213679055168967295474011072081206707200396551514683315200*y^4 - 18965040367095952141120262954165785475673516266929727262313397568*y^3 - 166134693287689978589518222379638018270921293381130399682860639104*y^2 - 259304481479940180110411259538430476594935817150345128846511527936*y - 678582254396024864625601305916112362690049882913507746343767040, 1803832838483887634908824535209130303733668444737958466346368837123470550913984*x*y^6 + 43997797034427499300992337658474903840932951705888379149732407999744761576172288*x*y^5 + 80805397984354907813071099737874293980184502227506296889358495064541104167141120*x*y^4 - 1503718110350964529486812826766911329604986799772122809976124910540195962880*x*y^3 - 2633754261364439978064329064907330844469267359382446293156015396094556434425728*x*y^2 - 31991144785429494111362064328294115538926995661588734112361950497965502397876736*x*y - 53479972142294478988059698407913362206905527869186906243887309745083829974791680*x + 529556219937467627007284341082680146539932610970800620223554641410070051509184*y^41 - 37568652053477625151842148097589732522672831872410565273417371018619128320*y^40 - 7019480067849103128542232419569001638370502467894188541264797777043973120*y^39 - 2261455001554337522138523024672380134569215841076993490993924325362698659840*y^38 + 1299018975621186249394204499176895780528632497308729431632530094919128851955456*y^37 - 86017078016261025498487531241541191201583429183338757945151021926930355200*y^36 - 42071402726058991280948618149292409560457089945247255066563423540935403520*y^35 + 5159873989727795306194725933819096225319777840746144235252290 ... 825664381828254818611375517991447193810178837553932010211971411599067133392521568823726719194961821340617434804606285817339504526136007945274542312519227145659187778370602889346859843770541263337960907268346818315071633833796046776348711968692138081234166913253611076167056572721473181506283409440698173227008000*y^31 - 2008264981974396685738993294143157462381945940430453594461026722616137236908477484504701106354892030600629575052319867219838029223602151224725905584405262744483282602833462415053229310502488626156828174577896822291813784876048702272074386705768388645208675089826612378671517917500348233183980023141515507216690846218695175770315161600*y^30 + 4026316465855016887086509185642493152554846093627755182876098593728071261139109481506591082511111934474999566111512575772493925796718306543718987179564238375155725980516808674653442665700014628633375780548648207213957576596666917461562126736472670257491994853058458379429355352018409610217833925996350840483763181469828782551256268800*y^29 - 1915933081077686062993928758765486956744697635605497948590791067205498287892372012509935884293344272005986998977050704880032045582927782249883270148379573186342382832087857027384473548500810799028596327157790314542118634798821679176180538814421632949163744090122334704072948832122569394445065570850831514582583637053047825299626393600*y^28 - 380609775117178731633675282837634499715912969156807829395149158629586927984201840177595605508308457951053748681161506382908113347430627328741333074153112720234081516455836623877457199273674498516145178714508170914404433052495796521778697635655126994553366443347473077546219103079779047439236685569899163556745015578542521353188147200*y^27 + 748248479569386375780399655313578611268571699146774159294888114950456009730702570545429440034972629363946360967124271076919055530776348214806737871002455496080723160458212134168584566007276332716357545627468086579298670419411999455577421323836859356186264262369129537507814845744884932304656577372256677546723973558185444104575385600*y^26 - 1477332741319137318450605144044156406989077355251592894474760596160147279576822536362622847254929405901027685549891253764108962989528790913498306851928179917578607857545818808498385170769402636434676084475453803685843903926283370718627723940421311124819290615101358703647233719450243370170854596529387309749710819109812395013727846400*y^25 + 295935904689949028273460998251156688778346250669284421100722781504476192973724780376372647888415993786232823270882749822372601416025018646791126782926526624262398949536859660471372017729164149335603222588421816025501876558278940038930393371010923497071327135921857008562028706886198418403583294077807609873320519228983516402274713600*y^24 - 63172896386893042707263063058991069015732313060283472549093045162407820672814799146678883044396146077506796425600858422329349458912801945098709733813298581290532618548069502131829242239893032185445072818477247132676986030009844406895045400040326534953165150115498846644944807670239185963032408332165640679700245136133460299507302400*y^23 + 123590094350383358607010378702049711595610346558358178783443678503539120436836609868800040672824191095554930026631278555336200082022603473534423409023125592752273407080826489631712655614374369473916765612211645570329465213588171008732826856829127800919622121582708268393312162486286361612752699428352769168177106773596064402794086400*y^22 - 228474798749312834928247977739603280124956846121939990017687732540037508025548396470916785274804715651962893959367644447957884197078504328595038504138932431765244818418455221153386639629502372537206117293862487145596667673186243059856953674820605586797269611373552866345775287783366018757846362502426882269970549462923802493478502400*y^21 + 18885279388877233384324858765944408623096273885609334965930415773855698926990044280883658355812885726016127248444369208028839651027467437485827435992716003564042318587115654814625190338816945790331195933932457833278037879665274381231174382537352920367510300590796870648572742475909541574727026755970455452158608972781317708473958400*y^20 - 37001334427924933393992352835995197930532570879254858247603421429142723907974522914548469529685519627198667316775665547648483641726187628419510223339517155702345799851705881261650945232260606102445607054620746036759618865979649845175390555164605701159695422321532481012942978606257502842084020430188144275349725480480850970463436800*y^19 + 72101499488531366520028052467551990824233538634416834857860609533453920660346054676105822198914855020272334419693787261106967020290965809511136577935588886694705990942293660129255115684186622297374613959804071656492194839109243878404801049348265691356748089327954535230143605868310478479413864707698978788183354332976079010843852800*y^18 - 113457680660908502710272581064635387200246526209656623491362896820456896377283915793943689157587525000947132236632630477632779617667594486853599093176275659048734865681953368072310572338228420621431907451472250632140662968266743130290357719678426621370340766594910133396512884216384575999848354591492890092527802850390432174361804800*y^17 + 11062604441291406424195989257301898060135986715601611488801513508947821164114291595576561232303500561978768155902505650337200517181797577705016389443248777794071081992519284152721127361664910866935746827587896052898110158400240963027504745305575859230504425518435802366468595287849565299803444701787938487661453098141315609971916800*y^16 - 21665896418489251044980861961063355145099800552883485891665317879538236326283246347051271906945143884740034810824495098575885840650494676036962696010059775741892361368691099538429894471416142362147930511195924759319291627592967973379727131475665613433842606149697001222607547563963890411011663676236594482505555385827439570164121600*y^15 + 41645006971348539179571516980378836098366909745396849827444765320414256408684695793023759331704634933270731690466875608038380560827627759694223332082933185170187487435955859115578620970543383576537687972843697409205871693068422323058427402995935157879568442387676454541816498141877754629016368881900093689850690371995302201235865600*y^14 - 24548174532334501674278626721174524066200002008173799480795278984422335762302860763177610272518073557085509314777955517287584561305486225646892697957940149794532122567560088873377994621920737512917776849510355214506818938008548977169400200306942935146965507556674927813683337618571486316877081276559109479288227236399711298099609600*y^13 + 6480051456519510530665681216563159886910009489867503235449395896800583227932070335151508819921423448336119896264422056583263681568356891986481633371762749972853460464270268762103359012121502866573190834294772632237419062867204708025496146780867168268857440804105976364508449183803791715479131313993124826343962439007807516495052800*y^12 - 12673619779258343159013895642392427628202346765886223070329873635433461569213445523538468322400251346480721399593748804287876462292299552421512877918381422590026643887365793141386883465462921890211803794877076719027505225800687016104638837369242808818762014144852583785994730002165057897359411084200686860337058054689968914379571200*y^11 + 23215424344311004305190092014951954730307458361645465519837210602102813595994067472284496692376023779120766052388495258505413490146522357191667849234212615083158643516104511927771191438891556381147050687868050171631142621670779189233861351809465237388418247377346448522711580113307189430970363927821850929979025996595280710153011200*y^10 + 73388564417826677344062139360893607105437865559763477958106364137884917096828407476704088841547946059106690640187993880770752020529010200274480727459385964659176647740352262869291197132750290987987944242210426451979045361871165200459361295660186255632536175114840301699927665318952767065835608245866714969666467233810843981106380800*y^9 + 3795381881711932479333629790137613212485285325626244388402903386748083434409683178678074019745077974293546812338952668242935521702035324812035649768952736152579217208891390303909641811347691691406460465619506597555564311861916142802626957778856098778141592003465317116655712127965263593748447889961185890083679543758959833146982400*y^8 - 7388092202357282080244165587701806040346358583501912495739748733789301784346301328911968983692147740278649556420204030562334934153601067837491200767759400930619449044107288510626137007658532129573945875786196868010590542793041743532123930117223523212927712658275414541664818798381454642375911463590753438365696391788821666489958400*y^7 + 11248474306506100115537592156131330695109807253571634276018048542290000130501665607892675632869213423106617088437364515076543413766719784252320086318299385575900950506243120927861401664661991711003880237987613563696918155777427418438098278290502610961817417699132286638678922734307504213313953578726083834100669591522978291934822400*y^6 + 2058007476281089323882698361560730293599503399489213487726499561637189154350831771731217295199093839845956113213693543852044574346942161792453184037072771894366219460380842438679808588268478494297642396419526584732253914636376848832554773269157113962870998538957442423220605115354173056888313240275164243302550070578544048458851942400*y^5 + 2222194490242115266128923604401672646355563917488879931129515388273952983594562102859600848470235610315154534999518044973778383255833339827463122669084028363225026580722790813308770193530764950449841761120897474551635876100413628670819260086768346902292846053475348520724162081151925606913153006987621027708265265040946273819033600*y^4 - 4255941095517265071249484946539980540453886053683187837801027566554140319076338126292218305930948515824822585881716534798788344600589586957669209462981282651019700865750197803607565276986543323917359350730113055065657509123252193665263732913575504825316559099914654280471803024493710524708012644484029956845819347142999135800524800*y^3 + 1916630281320714359610700708783781261051898886562549767515246514368890457808102096606124200273582480514968768606736937558647824445606172374135353899402903304569217620237042751770979481229920760703526440619969302693569490230461910523685763632103923404995801972035052772223727840284149486245557721738368464216519071166271455022284800*y^2 - 1166600055183155053108264904958024414179196793292026232134188480396039489297578706745455708921861989647762633619361428012645699096262023702779626005652712397597469100283697524895797953537425145889594504597060146335123491415482500890843110331200391455015275713295088468783339836760673320368481670685430165342561525778398937419670528000*y + 263696600015563176816276414918107724339082043656196625110236663359058531595438089483740466642358674452076627409559479763660487143836957196637462368766669094550186410941781882473364893171588775443535555286398822363594592330999314353387340495930688192931093662521492041399172631332247964487601111412065097767830185834490243666923929600, -76700309905577633501906096780784566018868905274000345022566033622422088516208483447917812507697055568743837212999902481473816748199523853334048267417564238605265444319920587577156857652135495335470441559943098771765336632344213431613954527228037913085221786468476632516944584742092873089607606429373842875036282542491672675341623064809064611839954437269708800*y^48 - 76700309905577633501906096780784566018868905274000345022566033622422088516208483447917812507697055568743837212999902481473816748199523853334048267417564238605265444319920587577156857652135495335470441559943098771765336632344213431613954527228037913085221786468476632516944584742092873089607606429373842875036282542491672675341623064809064611839954437269708800*y^41 - 153400619811155267003812193561569132037737810548000690045132067244844177032416966895835625015394111137487674425999804962947633496399047706668096534835128477210530888639841175154313715304270990670940883119886197543530673264688426863227909054456075826170443572936953265033889169484185746179215212858747685750072565084983345350683246129618129223679908874539417600*y^40 + 613602479244621068015248774246276528150951242192002760180528268979376708129667867583342500061576444549950697703999219851790533985596190826672386139340513908842123554559364700617254861217083962683763532479544790174122693058753707452911636217824303304681774291747813060135556677936742984716860851434990743000290260339933381402732984518472516894719635498157670400*y^37 + 1227204958489242136030497548492553056301902484384005520361056537958753416259335735166685000123152889099901395407998439703581067971192381653344772278681027817684247109118729401234509722434167925367527064959089580348245386117507414905823272435648606609363548583495626120271113355873485969433721702869981486000580520679866762805465969036945033789439270996315340800*y^36 - 1534006198111552670038121935615691320377378105480006900451320672448441770324169668958356250153941111374876744259998049629476334963990477066680965348351284772105308886398411751543137153042709906709408831198861975435306732646884268632279090544560758261704435729369532650338891694841857461792152128587476857500725650849833453506832461296181292236799088745394176000*y^33 - 3068012396223105340076243871231382640754756210960013800902641344896883540648339337916712500307882222749753488519996099258952669927980954133361930696702569544210617772796823503086274306085419813418817662397723950870613465293768537264558181089121516523408871458739065300677783389683714923584304257174953715001451301699666907013664922592362584473598177490788352000*y^32 + 1227204958489242136030497548492553056301902484384005520361056537958753416259335735166685000123152889099901395407998439703581067971192381653344772278681027817684247109118729401234509722434167925367527064959089580348245386117507414905823272435648606609363548583495626120271113355873485969433721702869981486000580520679866762805465969036945033789439270996315340800*y^29 + 2454409916978484272060995096985106112603804968768011040722113075917506832518671470333370000246305778199802790815996879407162135942384763306689544557362055635368494218237458802469019444868335850735054129918179160696490772235014829811646544871297213218727097166991252240542226711746971938867443405739962972001161041359733525610931938073890067578878541992630681600*y^28 - 153400619811155267003812193561569132037737810548000690045132067244844177032416966895835625015394111137487674425999804962947633496399047706668096534835128477210530888639841175154313715304270990670940883119886197543530673264688426863227909054456075826170443572936953265033889169484185746179215212858747685750072565084983345350683246129618129223679908874539417600*y^25 - 306801239622310534007624387123138264075475621096001380090264134489688354064833933791671250030788222274975348851999609925895266992798095413336193069670256954421061777279682350308627430608541981341881766239772395087061346529376853726455818108912151652340887145873906530067778338968371492358430425717495371500145130169966690701366492259236258447359817749078835200*y^24 - 76700309905577633501906096780784566018868905274000345022566033622422088516208483447917812507697055568743837212999902481473816748199523853334048267417564238605265444319920587577156857652135495335470441559943098771765336632344213431613954527228037913085221786468476632516944584742092873089607606429373842875036282542491672675341623064809064611839954437269708800*y^2 - 306801239622310534007624387123138264075475621096001380090264134489688354064833933791671250030788222274975348851999609925895266992798095413336193069670256954421061777279682350308627430608541981341881766239772395087061346529376853726455818108912151652340887145873906530067778338968371492358430425717495371500145130169966690701366492259236258447359817749078835200*y - 306801239622310534007624387123138264075475621096001380090264134489688354064833933791671250030788222274975348851999609925895266992798095413336193069670256954421061777279682350308627430608541981341881766239772395087061346529376853726455818108912151652340887145873906530067778338968371492358430425717495371500145130169966690701366492259236258447359817749078835200] |
f=y^3 - y^2 + 3*y - 1
f.factor()
Traceback (click to the left of this block for traceback) ... NotImplementedError: Factorization of multivariate polynomials over non-fields is not implemented. Traceback (most recent call last):
File "<stdin>", line 1, in <module>
File "_sage_input_24.py", line 10, in <module>
exec compile(u'open("___code___.py","w").write("# -*- coding: utf-8 -*-\\n" + _support_.preparse_worksheet_cell(base64.b64decode("Zj15XjMgLSB5XjIgKyAzKnkgLSAxCmYuZmFjdG9yKCk="),globals())+"\\n"); execfile(os.path.abspath("___code___.py"))
File "", line 1, in <module>
File "/tmp/tmpAKFtsr/___code___.py", line 4, in <module>
exec compile(u'f.factor()
File "", line 1, in <module>
File "multi_polynomial_libsingular.pyx", line 3582, in sage.rings.polynomial.multi_polynomial_libsingular.MPolynomial_libsingular.factor (sage/rings/polynomial/multi_polynomial_libsingular.cpp:22674)
NotImplementedError: Factorization of multivariate polynomials over non-fields is not implemented.
|
|
|
|
|
|
|