> Martin,
Hi Jeff,
> Thanks for getting back to me. It might be possible for me to use the
> weighted orderings - I'll have to think about it a little. I also
> thought I could use a matrix order, but when I try the following I
> don't get the answer I hoped to see:
>
> T = TermOrder('M(-1,0,0,-1)')
> R = PolynomialRing(GF(101), names = 'x, y', order = T)
> x, y = R.gens()
> print '1 > x ? ' + str(1 > x)
Did you apply the patch?
> Suppose I hack the __init__ in term_order.py so that I force
> self.__singular_str to be what I want. Would that solve my problem?
> And if the answer to that question is yes, then could a longer-term
> solution be to augment TermOrder objects so that a user can explicitly
> identify the underlying tool that the order is intended for? The
> parsing that's currently done in the __init__ seems difficult.
The patch by Kwankyu Lee seems to allow that, i.e. you can give a Singular
string an pass force=True, which *should* pass it through to Singular.
> No matter what, I am really grateful for the work that you and the
> rest of the Sage community have invested in this tool. A lot of my
> research has come out of what I've been able to write in Sage.
Cheers,
Martin
--
name: Martin Albrecht
_pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99
_otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF
_www: http://martinralbrecht.wordpress.com/
_jab: [email protected]
--
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org