[sage-support] associated_primes broken with term order invlex

2010-02-10 Thread Stefan Boettner
Hello, since I changed to version 4.3.2 it seems that calling associated_primes() on an ideal of a polynomial ring that has term order 'invlex' is broken. Example: sage: R.=PolynomialRing(QQ,2,order='invlex') sage: R.ideal(x).associated_primes() ? // Not implemented for this ordering, please cha

[sage-support] Reduced normal form of a polynomial modulo an ideal not unique?

2010-02-09 Thread Stefan Boettner
Hello, I found that if my (multivariate) polynomial ring has coefficients from a number field, then with certain monomial orders (such as 'deglex') I don't get the expected result when applying the reduce method of an ideal onto a polynomial. Example: sage: var('X') sage: K.=NumberField(X^2-2)

Re: [sage-support] Re: cancellation in fraction fields

2010-01-24 Thread Stefan Boettner
That sort of gets my expressions nicer. It doesn't quite solve the issue with the computation time but works for now. Would it be too difficult to have such fractions normalized automatically to some normal form, e.g. monic denominator polynomial, if the coefficient ring is a field? Thanks, St

[sage-support] cancellation in fraction fields

2010-01-24 Thread Stefan Boettner
Hi, I'm working with fraction fields of multivariate polynomials ring with coefficients in Q. My question is, how do I get cancellation between numerator and denominator coefficients to work? Example: R.=PolynomialRing(QQ, 2) F=FractionField(R) f=(x/2)/(y/2) My question is, how do I get the r

Re: [sage-support] Factoring multivariate polynomials with parameters

2009-11-28 Thread Stefan Boettner
xpect that factoring just x is also implemented? Maybe it's also just a bug. If I replace the definition of the ring R by R.=PolynomialRing(QQ,3) then all four examples work correctly. Stefan Am 28.11.2009 um 17:17 schrieb William Stein: > On Sat, Nov 28, 2009 at 3:06 PM, St

[sage-support] Factoring multivariate polynomials with parameters

2009-11-28 Thread Stefan Boettner
Hello, I would like to factor multivariate polynomials that have parameters in the coefficient field, for example: K.=PolynomialRing(QQ,1) K=FractionField(K) R.=PolynomialRing(K,2) Now I would like to factor elements in R, such as x^2-m^2*y^2, which actually works. However, when I ask to hav

[sage-support] Re: Symbolic Expression

2009-09-15 Thread Stefan Boettner
That helps for now. Thanks, Stefan Am 15.09.2009 um 22:19 schrieb Nils Bruin: > > On Sep 15, 6:24 pm, Stefan Boettner wrote: >> Hello, >> >> I'm trying to parse symbolic expressions, but got stuck very quickly. >> >> If I say: >> (x^2).opera

[sage-support] Symbolic Expression

2009-09-15 Thread Stefan Boettner
Hello, I'm trying to parse symbolic expressions, but got stuck very quickly. If I say: (x^2).operator() I get: If I say: pow I also get: But if I say: (x^2).operator()==pow I get: False How do I properly test if the topmost operation of an expression is a power, product, sum, whatever? S