How to add term order to free module?

niles
4539 ●24 ●72 ●133 http://nilesjohnson.net/

I am working with a free module over a ring of polynomials, and need more than what's available in FreeModule. To be specific, I want to define an order on the terms in the module (think term orders for Grobner bases), and then to be able to obtain leading monomials of module elements.

I tried to augment sage.modules.free_module_element.FreeModuleElement.__bases__ with my own mix-in as described in the tutorial, but apparently FreeModuleElement cannot be augmented in this way.

Presumably I could also put together derived classes for FreeModule and FreeModuleElement, but I'm somewhat up in the air as how to do this.

I considered augmenting my ring of polynomials with extra variables as a back-door way to produce my free module, but the term orders available in polynomial rings are not general enough for my application.

Any suggestions? So far I have worked around the problem, but it's ugly.

Comments

Have you tried "CombinatorialFreeModule" instead of "FreeModule"? For giving elements names, for example, it's very good, and it might suit your needs.

John Palmieri ( 14 years ago )

add a comment

sage: X = CombinatorialFreeModule(QQ, [1, 2, 3]); X.rename("X") sage: x = 3*X.monomial(1) + 2*X.monomial(2) + X.monomial(3) sage: x.leading_monomial() B[3] sage: def cmp(x,y): return y-x sage: x.leading_monomial(cmp=cmp) B[1]

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

How to add term order to free module?

Comments

1 Answer

Your Answer

Question Tools

Stats

Related questions

How to add term order to free module? savecancel

Comments

1 Answer