File: test-lifting2.ms

package info (click to toggle)
msolve 0.7.5-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 4,908 kB
  • sloc: ansic: 41,717; sh: 1,768; makefile: 202
file content (8 lines) | stat: -rw-r--r-- 4,829 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
z1, z2, z3, z4 
0
z1^4-8*z1^3*z2+26*z1^2*z2^2-40*z1*z2^3+25*z2^4-32*z1^3*z3+152*z1^2*z2*z3-256*z1*z2^2*z3+120*z2^3*z3+586*z1^2*z3^2-1704*z1*z2*z3^2+1794*z2^2*z3^2-5280*z1*z3^3+3960*z2*z3^3+27225*z3^4+36*z1^3*z4-204*z1^2*z2*z4+420*z1*z2^2*z4-300*z2^3*z4-996*z1^2*z3*z4+3072*z1*z2*z3*z4-2820*z2^2*z3*z4+12660*z1*z3^2*z4-14940*z2*z3^2*z4-69300*z3^3*z4+524*z1^2*z4^2-1880*z1*z2*z4^2+1900*z2^2*z4^2-10760*z1*z3*z4^2+15000*z2*z3*z4^2+77100*z3^2*z4^2+3600*z1*z4^3-6000*z2*z4^3-42000*z3*z4^3+10000*z4^4-20*z1^2+80*z1*z2-100*z2^2+320*z1*z3-240*z2*z3-3300*z3^2-360*z1*z4+600*z2*z4+4200*z3*z4-1964*z4^2+64,
-32*z1^3+152*z1^2*z2-256*z1*z2^2+120*z2^3+1172*z1^2*z3-3408*z1*z2*z3+3588*z2^2*z3-15840*z1*z3^2+11880*z2*z3^2+108900*z3^3-996*z1^2*z4+3072*z1*z2*z4-2820*z2^2*z4+25320*z1*z3*z4-29880*z2*z3*z4-207900*z3^2*z4-10760*z1*z4^2+15000*z2*z4^2+154200*z3*z4^2-42000*z4^3+320*z1-240*z2-6600*z3+4200*z4,
36*z1^3-204*z1^2*z2+420*z1*z2^2-300*z2^3-996*z1^2*z3+3072*z1*z2*z3-2820*z2^2*z3+12660*z1*z3^2-14940*z2*z3^2-69300*z3^3+1048*z1^2*z4-3760*z1*z2*z4+3800*z2^2*z4-21520*z1*z3*z4+30000*z2*z3*z4+154200*z3^2*z4+10800*z1*z4^2-18000*z2*z4^2-126000*z3*z4^2+40000*z4^3-360*z1+600*z2+4200*z3-3928*z4,
-10320*z1^5+112080*z1^4*z2-504480*z1^3*z2^2+1180320*z1^2*z2^3-1438800*z1*z2^4+738000*z2^5+330240*z1^4*z3-2513280*z1^3*z2*z3+7128960*z1^2*z2^2*z3-8795520*z1*z2^3*z3+3542400*z2^4*z3-6047520*z1^3*z3^2+34884000*z1^2*z2*z3^2-68816160*z1*z2^2*z3^2+52958880*z2^3*z3^2+54489600*z1^2*z3^3-196732800*z1*z2*z3^3+116899200*z2^2*z3^3-280962000*z1*z3^4+803682000*z2*z3^4-459120*z1^4*z4+3868800*z1^3*z2*z4-12634080*z1^2*z2^2*z4+18998400*z1*z2^3*z4-11046000*z2^4*z4+13081920*z1^3*z3*z4-74420160*z1^2*z2*z3*z4+142213440*z1*z2^2*z3*z4-93758400*z2^3*z3*z4-181984800*z1^2*z3^2*z4+677174400*z1*z2*z3^2*z4-598183200*z2^2*z3^2*z4+1177704000*z1*z3^3*z4-2392632000*z2*z3^3*z4-2384910000*z3^4*z4-8561280*z1^3*z4^2+52740480*z1^2*z2*z4^2-111897600*z1*z2^2*z4^2+82368000*z2^3*z4^2+198292800*z1^2*z3*z4^2-741542400*z1*z2*z3*z4^2+689832000*z2^2*z3*z4^2-1904688000*z1*z3^2*z4^2+3584736000*z2*z3^2*z4^2+6070680000*z3^3*z4^2-83054400*z1^2*z4^3+332880000*z1*z2*z4^3-343560000*z2^2*z4^3+1376016000*z1*z3*z4^3-2553840000*z2*z3*z4^3-6753960000*z3^2*z4^3-418560000*z1*z4^4+820800000*z2*z4^4+3679200000*z3*z4^4-876000000*z4^5+206400*z1^3-1416000*z1^2*z2+3393600*z1*z2^2-2952000*z2^3-3302400*z1^2*z3+11923200*z1*z2*z3-7084800*z2^2*z3+34056000*z1*z3^2-97416000*z2*z3^2+5382816*z1^2*z4-23581824*z1*z2*z4+26213664*z2^2*z4-69095040*z1*z3*z4+143297280*z2*z3*z4+265557600*z3^2*z4+50352960*z1*z4^2-109448640*z2*z4^2-337982400*z3*z4^2+164097600*z4^3-1032000*z1+2952000*z2-8284800*z4,
2320*z1^5-34160*z1^4*z2+185120*z1^3*z2^2-498400*z1^2*z2^3+682000*z1*z2^4-390000*z2^5+13360*z1^4*z3+151040*z1^3*z2*z3-687520*z1^2*z2^2*z3+768000*z1*z2^3*z3+318000*z2^4*z3-1443680*z1^3*z3^2+220320*z1^2*z2*z3^2+8318880*z1*z2^2*z3^2-17474400*z2^3*z3^2+39084000*z1^2*z3^3-57715200*z1*z2*z3^3+95378400*z2^2*z3^3-399366000*z1*z3^4-77814000*z2*z3^4+2384910000*z3^5+83520*z1^4*z4-1034880*z1^3*z2*z4+4156800*z1^2*z2^2*z4-7248000*z1*z2^3*z4+4680000*z2^4*z4+842880*z1^3*z3*z4+4794240*z1^2*z2*z3*z4-17673600*z1*z2^2*z3*z4+17712000*z2^3*z3*z4-57878400*z1^2*z3^2*z4+36950400*z1*z2*z3^2*z4-13968000*z2^2*z3^2*z4+948240000*z1*z3^3*z4-227664000*z2*z3^3*z4-6070680000*z3^4*z4+1215680*z1^3*z4^2-12536000*z1^2*z2*z4^2+33736000*z1*z2^2*z4^2-29640000*z2^3*z4^2+20939200*z1^2*z3*z4^2+37968000*z1*z2*z3*z4^2-67560000*z2^2*z3*z4^2-763704000*z1*z3^2*z4^2+111240000*z2*z3^2*z4^2+6753960000*z3^3*z4^2+8352000*z1^2*z4^3-70080000*z1*z2*z4^3+93600000*z2^2*z4^3+217920000*z1*z3*z4^3+129600000*z2*z3*z4^3-3679200000*z3^2*z4^3+23200000*z1*z4^4-156000000*z2*z4^4+876000000*z3*z4^4-48704*z1^3+508544*z1^2*z2-1498432*z1*z2^2+1568640*z2^3-925216*z1^2*z3+1213824*z1*z2*z3-4757664*z2^2*z3+19235520*z1*z3^2+31311360*z2*z3^2-281239200*z3^3-835200*z1^2*z4+7008000*z1*z2*z4-9360000*z2^2*z4-21792000*z1*z3*z4-12960000*z2*z3*z4+367920000*z3^2*z4-3865280*z1*z4^2+30120000*z2*z4^2-186302400*z3*z4^2+6048000*z4^3+255040*z1-1577280*z2+8284800*z3,
236240*z1^4-1858880*z1^3*z2+5973280*z1^2*z2^2-9115200*z1*z2^3+5682000*z2^4-7984640*z1^3*z3+37430400*z1^2*z2*z3-62787840*z1*z2^2*z3+29404800*z2^3*z3+149618400*z1^2*z3^2-425160000*z1*z2*z3^2+442159200*z2^2*z3^2-1387584000*z1*z3^3+1040688000*z2*z3^3+7154730000*z3^4+8982720*z1^3*z4-50343360*z1^2*z2*z4+103060800*z1*z2^2*z4-73512000*z2^3*z4-256171200*z1^2*z3*z4+778492800*z1*z2*z3*z4-703800000*z2^2*z3*z4+3327048000*z1*z3^2*z4-3926232000*z2*z3^2*z4-18212040000*z3^3*z4+135051200*z1^2*z4^2-480336000*z1*z2*z4^2+481560000*z2^2*z4^2-2827728000*z1*z3*z4^2+3942000000*z2*z3*z4^2+20261880000*z3^2*z4^2+946080000*z1*z4^3-1576800000*z2*z4^3-11037600000*z3*z4^3+2628000000*z4^4-3154016*z1^2+12397824*z1*z2-15485664*z2^2+53783040*z1*z3-40337280*z2*z3-554637600*z3^2-61248960*z1*z4+102968640*z2*z4+705902400*z3*z4-339297600*z4^2+8284800