#11457: Witt Vectors
----------------------------------------------+-----------------------------
Reporter: tdupu | Owner: roed
Type: enhancement | Status: new
Priority: major | Milestone: sage-5.7
Component: padics | Resolution:
Keywords: witt vectors, padic, rings | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Taylor Dupuy, David Roe | Merged in:
Dependencies: | Stopgaps:
----------------------------------------------+-----------------------------
Comment (by tdupu):
The reply button doesn't seem to be working.
Re Darij's Comments:
1) Do you mean p is the characteristic of the base ring? Yeah, this is an
issue. I mentioned this before but still haven't fixed it.
2) The function also only works for p-typical witt vectors. There should
be a slicker way of implementing this. The hard part is computing the witt
polynomials.
Re: kcrisman's comments:
-One could add change the flow of the code: Here is a quick-fix the
characteristic of the base is zero then do this. If not they raise a
NotImplementedError.
-Also, the big witt vectors can not be implemented using what i did since
I used that w_{n-1}(a^p) + p^n a_n = w_n(a) in the recurrence.
-The witt sums and witt additions should be excluded because they may be
used for Greenberg transforms (which will have applications to say lifting
J-invariants). I have talked a little bit to Luis Finotti about this.
There are snippets of big witt vectors code in the original patches (not
the pWittVectors patch) that can be used but the indexing is off in that
code I think.
I will try and make a list of other issues soon. It might be better to
make something on github.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11457#comment:11>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
