[sage-combinat-devel] More LaurentPolynomialRing insanity

2015-11-03 Thread VulK 
Dear all, 
I just noted the following:

sage: R = LaurentPolynomialRing(ZZ,'x,y')
sage: T = R.remove_var('x')
sage: T.inject_variables()
Defining y
sage: y in T
True
sage: y in R
True

As one should expect, now for a second try

sage: R = LaurentPolynomialRing(ZZ,'x,y,z')
sage: T = R.remove_var('x')
sage: T.inject_variables()
Defining y, z
sage: y in T
True
sage: y in R
False

And of course, you try R(y), hell break loose. 

At this point, at least in my experience, there are more issues with
LaurentPolynomialRing than features. Is there any plan to replace the
implementation with something less bug ridden in the near future? 

Should I decide to invest time in rewriting it, would anyone here be
interested to help? Do you have any suggestion/reference on how this should
be done properly?
Thanks
Salvatore

-- 
You received this message because you are subscribed to the Google Groups 
"sage-combinat-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-combinat-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-combinat-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-combinat-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-combinat-devel] More LaurentPolynomialRing insanity

2015-11-03 Thread Nicolas M. Thiery 
On Tue, Nov 03, 2015 at 04:37:25PM +0100, VulK wrote:
> I just noted the following:
> 
> sage: R = LaurentPolynomialRing(ZZ,'x,y')
> sage: T = R.remove_var('x')
> sage: T.inject_variables()
> Defining y
> sage: y in T
> True
> sage: y in R
> True
> 
> As one should expect, now for a second try
> 
> sage: R = LaurentPolynomialRing(ZZ,'x,y,z')
> sage: T = R.remove_var('x')
> sage: T.inject_variables()
> Defining y, z
> sage: y in T
> True
> sage: y in R
> False
> 
> And of course, you try R(y), hell break loose. 
> 
> At this point, at least in my experience, there are more issues with
> LaurentPolynomialRing than features. Is there any plan to replace the
> implementation with something less bug ridden in the near future? 
> 
> Should I decide to invest time in rewriting it, would anyone here be
> interested to help? Do you have any suggestion/reference on how this should
> be done properly?

Just a note: this would be better discussed on sage-devel.

Cheers,
Nicolas
--
Nicolas M. Thiéry "Isil" 
http://Nicolas.Thiery.name/

-- 
You received this message because you are subscribed to the Google Groups 
"sage-combinat-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-combinat-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-combinat-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-combinat-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-combinat-devel] More LaurentPolynomialRing insanity

2015-11-03 Thread VulK 
Thank you for the pointer,
I will move the discussion there.
S.


* Nicolas M. Thiery  [2015-11-03 17:04:31]:

> On Tue, Nov 03, 2015 at 04:37:25PM +0100, VulK wrote:
> > I just noted the following:
> > 
> > sage: R = LaurentPolynomialRing(ZZ,'x,y')
> > sage: T = R.remove_var('x')
> > sage: T.inject_variables()
> > Defining y
> > sage: y in T
> > True
> > sage: y in R
> > True
> > 
> > As one should expect, now for a second try
> > 
> > sage: R = LaurentPolynomialRing(ZZ,'x,y,z')
> > sage: T = R.remove_var('x')
> > sage: T.inject_variables()
> > Defining y, z
> > sage: y in T
> > True
> > sage: y in R
> > False
> > 
> > And of course, you try R(y), hell break loose. 
> > 
> > At this point, at least in my experience, there are more issues with
> > LaurentPolynomialRing than features. Is there any plan to replace the
> > implementation with something less bug ridden in the near future? 
> > 
> > Should I decide to invest time in rewriting it, would anyone here be
> > interested to help? Do you have any suggestion/reference on how this should
> > be done properly?
> 
> Just a note: this would be better discussed on sage-devel.
> 
> Cheers,
>   Nicolas
> --
> Nicolas M. Thiéry "Isil" 
> http://Nicolas.Thiery.name/
> 
> -- 
> You received this message because you are subscribed to the Google Groups 
> "sage-combinat-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to sage-combinat-devel+unsubscr...@googlegroups.com.
> To post to this group, send email to sage-combinat-devel@googlegroups.com.
> Visit this group at http://groups.google.com/group/sage-combinat-devel.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-combinat-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-combinat-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-combinat-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-combinat-devel.
For more options, visit https://groups.google.com/d/optout.