 | 1 | initial version |
from sage.all import *
p = 1125899906842679
R = PolynomialRing(GF(p), 'x,y')
R.inject_variables()
I = Ideal(3*x**4 + 740736*x**2 + 4854540*x + 1125884665458743, -x**3 + y**2 + 1125899906719223*x + 1125899906438134)
J = I.elimination_ideal(y)
Here, elimination_ideal leads to an error. I have no clue why. For other examples, like other finite fields, it works. Has someone an idea, why?
| | 2 | retagged |
from sage.all import *
p = 1125899906842679
R = PolynomialRing(GF(p), 'x,y')
R.inject_variables()
I = Ideal(3*x**4 + 740736*x**2 + 4854540*x + 1125884665458743, -x**3 + y**2 + 1125899906719223*x + 1125899906438134)
J = I.elimination_ideal(y)
Here, elimination_ideal leads to an error. I have no clue why. For other examples, like other finite fields, it works. Has someone an idea, why?
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.