Simon,
On Sep 23, 12:32 am, Simon King wrote:
> I said two things.
I understand you now. (I think. :-))
> One statement was: The matrix term ordering should not interfere with
> the degrees of the generators. It must be possible to define
> generators in degree 2,3,4 and order the monomials wit
Altough the attribute exponents behaves very different from the degrees
function and there is no function exponent doing something similar to
degree. What I think is that there should be two sets of functions, one set
witch does the degree and degrees stuff depending on the grading of the
algeb
I thought a bit more, and now I think Simon's viewpoint is arguably more
consistent than mine, and my worries are groundless because we have method
exponents().
Cheers.
Kwankyu
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an emai
Hi Simon,
In your point of view that a polynomial ring is always a graded ring, what I
want is perhaps this: even though you work with a polynomial ring with
non-default grading, the methods degree(), degrees(), total_degree() for the
default grading should still be available to the user becaus
Hi Kwankyu,
On 24 Sep., 13:36, Kwankyu Lee wrote:
> I think one should not take it for granted a polynomial ring is a graded
> ring.
No. Of course it is granted!
> Of course, you can view a polynomial ring as a graded ring. But one
> work with a polynomial ring, perhaps more often, not as a gra
Hi Simon,
I think one should not take it for granted a polynomial ring is a graded
ring. Of course, you can view a polynomial ring as a graded ring. But one
work with a polynomial ring, perhaps more often, not as a graded ring.
With a polynomial in a polynomial ring not as a graded ring, you h
PS:
Singular offers to use an "extra weight vector" (see
http://www.singular.uni-kl.de/Manual/latest/sing_748.htm#SEC800).
Sadly, if one uses it, then one automatically gets a degree order. So,
it would not solve our problem.
Cheers,
Simon
--
To post to this group, send an email to sage-devel@g
Hi John,
On 22 Sep., 23:46, john_perry_usm wrote:
> Are you saying the first row of a matrix term ordering determines the
> degree of the generators?
I said two things.
One statement was: The matrix term ordering should not interfere with
the degrees of the generators. It must be possible to de
Simon,
I have seen graded rings before, for example when defining homogeneous
rings one has standard and non-standard gradings. But the grading
wasn't determined by a term ordering in those cases, and I have seen a
distinction between the two: a recent paper on Computing Inhomogeneous
Groebner Bas
Hi John,
On 21 Sep., 20:50, john_perry_usm wrote:
> What about this?
>
> sage: tord = TermOrder(matrix([3,2,4,1,1,0,1,0,0]))
> sage: R. = PolynomialRing(QQ,'x',3,order=tord)
> sage: (x^2).degree(x)
> 2
> sage: (x^2).degrees()
> (2, 0, 0)
> sage: (x^2).degree()
> 6
>
> Is all of this desirable beh
Hi again!
On Sep 21, 8:24 am, Simon King wrote:
>> sage: tord = TermOrder(matrix([3,2,4,1,1,0,1,0,0]))
>> sage: S.=PolynomialRing(QQ)
>> sage: R. = PolynomialRing(S,'x',3,order=tord)
>> sage: (x^2).degree()
>> 2
>
> I think that's a bug.
What about this?
sage: tord = TermOrder(matrix([3,2,4,1,1
Hi!
On 21 Sep., 11:05, Kwankyu Lee wrote:
> sage: tord = TermOrder(matrix([3,2,4,1,1,0,1,0,0]))
> sage: S.=PolynomialRing(QQ)
> sage: R. = PolynomialRing(S,'x',3,order=tord)
> sage: (x^2).degree()
> 2
I think that's a bug.
> So the behavior is not consistent among different backend engines, nam
Hi,
Look at this.
sage: tord = TermOrder(matrix([3,2,4,1,1,0,1,0,0]))
sage: S.=PolynomialRing(QQ)
sage: R. = PolynomialRing(S,'x',3,order=tord)
sage: (x^2).degree()
2
So the behavior is not consistent among different backend engines, namely,
Singular and PolyDict. I think degree() should retur
Hi Simon!
On Sep 20, 4:18 pm, Simon King wrote:
> However, note that since sage-4.7.2.alpha1 Sage finally has "proper"
> weighted degree term orders - that was trac ticket #11316. So, it will
> be in the next release.
Yes! I'm aware of (& delighted with) that.
> > sage: (x^2).degree(x)
>
> > >>
Hi John!
On 20 Sep., 21:21, john_perry_usm wrote:
> This took me by surprise:
>
> sage: tord = TermOrder(matrix([3,2,4,1,1,0,1,0,0]))
> sage: R. = PolynomialRing(QQ,'x',3,order=tord)
> sage: (x^2).degree() 6
It may be surprising that the first row of the order matrix is
interpreted as degree
Sorry, I posted to the wrong thread! I meant the "can't name a script
new.sage" thread...
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://
Is this fixed by http://trac.sagemath.org/sage_trac/ticket/11819 ?
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/
17 matches
Mail list logo
