[sage-devel] Re: Witt vectors

2012-05-18 Thread Luis Finotti
Thanks Simon and David for the very informative replies. I realize that there is a lot of cleaning up to do.. I will likely restart from scratch and be more careful with each step. Thanks again, Luis -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from

[sage-devel] Re: Witt vectors

2012-05-17 Thread Simon King
Hi Luis, On 18 Mai, 00:45, Luis Finotti wrote: > The problem is that it seems that it creates a loop, as in > witt_element.py I need witt.py and vice-versa.  That's why at the > bottom of witt_element I had > > class RingOfWittVectors(RingOfWittVectors): >     # def _call_(self,data,parent,coerce

Re: [sage-devel] Re: Witt vectors

2012-05-17 Thread David Roe
You have a circular import error. One way to solve it is to import RingOfWittVectors inside the __init__ method of WittVector rather than at the top level of the module. David On Thu, May 17, 2012 at 3:45 PM, Luis Finotti wrote: > Dear Simon, > > Firstly, thank you for your help. > > On Thu, May

Re: [sage-devel] Re: Witt vectors

2012-05-17 Thread Luis Finotti
Dear Simon, Firstly, thank you for your help. On Thu, May 17, 2012 at 5:50 PM, Simon King wrote: > So, I guess it would suffice if you started the class definition in > witt.py by > > from witt_element import WittVector > class RingOfWittVectors(CommutativeRing): >Element = WittVector >

Re: [sage-devel] Re: Witt vectors

2012-05-17 Thread David Roe
> No, that's wrong. In that way, you would make it impossible to merge the > methods defined in the category framework into the element class. It > should be >Element = WittVector > and then element_class would be automagically created. > You're right. David -- To post to this group, send an

[sage-devel] Re: Witt vectors

2012-05-17 Thread Simon King
Hi David, On 2012-05-17, David Roe wrote: > --f46d04374501cea75604c042359d > * You need to define the element class in the parent. So for example, > > class RingOfWittVectors(CommutativeRing): > element_class = WittVector No, that's wrong. In that way, you would make it impossible to merge

[sage-devel] Re: Witt vectors

2012-05-17 Thread Simon King
Hi Luis, On 2012-05-17, Luis Finotti wrote: > I cannot create an element as below: > sage: > R=RingOfWittVectors(GF(5),3) > sage: > F=GF(5) > sage: > w=[F(1),F(2),F(0)]

[sage-devel] Re: Witt vectors

2012-03-30 Thread tdupu
Please hijack this. It would nice to see this get finished. Also, if you want any help let me know. I just kinda forgot about this. -Taylor On Mar 30, 1:08 pm, Luis Finotti wrote: > On Friday, March 30, 2012 9:09:02 AM UTC-4, Niles Johnson wrote: > > > Indeed, these are good places to look -- esp

[sage-devel] Re: Witt vectors

2012-03-29 Thread Luis Finotti
Thanks, David. The reference and comments have been quite helpful! -- 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