On Nov 9, 2012, at 7:57 PM, Volker Braun wrote:

> If you use the
> 
> class MyParent(Parent)
>     Element = MyElement
> 
> syntax then you have to import MyElement. So you shouldn't import MyParent in 
> your element code or you will create a cyclic import (=bad). 
> 
> Are you sure that you need to create new parents from the element? Your 
> element should only work with the parent that it is an element of. New 
> Parents are generally constructed by coercion, but the coercion code lives in 
> MyParent.

It's a bit more complicated than that… The setting is that if R is a 
(multivariate) polynomial ring, and I is an ideal of R, then checking that 
elements of the quotient R/I are regular requires working with a new polynomial 
ring R', which is essentially a copy of R with one more variable.

So, sage.rings.QuotientRingElement needs to create instances of multivariate 
polynomial rings. 

> If all fails you can still do a method-level import. But its likely that you 
> should not.

Sorry for not being very familiar with python, but could you elaborate a little?

Thanks,
Charles

> 
> 
> 
> 
> On Friday, November 9, 2012 1:13:20 PM UTC-5, Charles Bouillaguet wrote:
> Hi, 
> 
> Why does adding : 
> 
> from sage.rings.polynomial.polynomial_ring_constructor import PolynomialRing 
> 
> at the beginning of quotient_ring_element.py create the weird error: 
> 
> Traceback (most recent call last): 
> … 
> AttributeError: 'module' object has no attribute 'quotient_ring' 
> 
> Is there a circular dependency problem? If so, how can I possibly create 
> polynomial rings inside quotient_ring_element ??? 
> 
> Cheers, 
> ---- 
> Charles Bouillaguet 
> http://www.lifl.fr/~bouillaguet/
> 
> -- 
> You received this message because you are subscribed to the Google Groups 
> "sage-devel" group.
> To post to this group, send email to sage-devel@googlegroups.com.
> To unsubscribe from this group, send email to 
> sage-devel+unsubscr...@googlegroups.com.
> Visit this group at http://groups.google.com/group/sage-devel?hl=en.
>  
>  



---
Charles Bouillaguet
http://www.lifl.fr/~bouillaguet/



-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To post to this group, send email to sage-devel@googlegroups.com.
To unsubscribe from this group, send email to 
sage-devel+unsubscr...@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel?hl=en.


Reply via email to