Here are a couple problems with those files, though I'm not getting exactly
the same problems you observe.
* You need to define the element class in the parent. So for example,
class RingOfWittVectors(CommutativeRing):
element_class = WittVector
def __init__(self, base, n, p=None, catego
Dear all,
I've been working on this, following Simon King's worksheet (at
http://flask.sagenb.org/home/pub/82) closely, but am stuck. The files
I am using (witt.py and witt_element.py), based on Roe and Dupuy
previous work, are attached for your reference.
I cannot create an element as below:
On Friday, March 30, 2012 9:09:02 AM UTC-4, Niles Johnson wrote:
>
> Indeed, these are good places to look -- especially the recommendation of
> browsing the rings directory to see how those are implemented (e.g.
> polynomial rings). It might make more sense for RingOfWittVectors to
> inherit f
Indeed, these are good places to look -- especially the recommendation of
browsing the rings directory to see how those are implemented (e.g.
polynomial rings). It might make more sense for RingOfWittVectors to
inherit from CommutativeRing instead of Ring. Also, it wouldn't be a bad
idea to o
There are a few places I would suggest looking: Simon King's worksheet at
http://flask.sagenb.org/home/pub/82/ and the Sage Reference manual section
on coercion at http://www.sagemath.org/doc/reference/coercion.html.
I am starting to work to implement Witt vectors in Sage. I think I
> have most
Dear all,
I am starting to work to implement Witt vectors in Sage. I think I
have most of the needed functions in a ".sage" file, but I now need to
create a "RingOfWittVectors" class and feel a little lost.
I've been looking over the developer's guide and some Python
references, but haven't been
