[sage-devel] Re: converting sage expressions to fricas

2009-08-28 Thread MaxTheMouse
> Aldor is the "second generation" alternative to the Spad compiler. It > is not part of FriCAS because of different (non-free) license > restrictions. The aldor interface itself is part of FriCAS but it is > only built by default if Aldor is first separately installed on the > same computer. >

[sage-devel] Re: converting sage expressions to fricas

2009-08-28 Thread Bill Page
Bill Page wrote: >> So this patch really does depend on installing a later version of >> FriCAS than what is available at the Sage web site. >> On Fri, Aug 28, 2009 at 6:10 AM, MaxTheMouse wrote: > The patch at 6318 was changed for how the newer version of fricas > behaves. My thought was that t

[sage-devel] Re: converting sage expressions to fricas

2009-08-28 Thread MaxTheMouse
> -- > > Looking at the code I can see this is because the fricas.py interface > (which depends on the axiom.py interface) assumes that the type will > be expressed as a fully parenthesized string like this: > > Polynomial(Fraction(Integer)) > > but this only applies in later versions of FriCAS

[sage-devel] Re: converting sage expressions to fricas

2009-08-27 Thread Bill Page
On Thu, Aug 27, 2009 at 1:55 PM, Martin Rubey wrote: > > Bill Page writes: > >> What version of Sage are you using? What patches applied >> (if any)? > > 4.0.2, combinat branch, patches 6318 applied. > Ok, thanks. I am currently testing with Sage 4.1.1. Without patch 6318, I get the error that I

[sage-devel] Re: converting sage expressions to fricas

2009-08-27 Thread Martin Rubey
Bill Page writes: > What version of Sage are you using? What patches applied (if any)? 4.0.2, combinat branch, patches 6318 applied. >> It might make sense to expand FriCASElement a little. Currently we have: >> >>P = self._check_valid() >>name = str(self) >>if name ==

[sage-devel] Re: converting sage expressions to fricas

2009-08-27 Thread Bill Page
On Thu, Aug 27, 2009 at 10:29 AM, Martin Rubey wrote: > > Bill Page writes: > >> On Thu, Aug 27, 2009 at 8:34 AM, MaxTheMouse wrote: >>> >>> This is a known problem. The patch at >>> http://trac.sagemath.org/sage_trac/ticket/6318 >>> should fix this. >>> >>> sage: expr=x+1 >>> sage: maxima(expr) >

[sage-devel] Re: converting sage expressions to fricas

2009-08-27 Thread Martin Rubey
Martin Rubey writes: > I just tried it (with external FriCAS) and it seems to work ok. It > might make sense to expand FriCASElement a little. Currently we have: > > P = self._check_valid() > name = str(self) > if name == 'Integer': > from sage.rings.all impo

[sage-devel] Re: converting sage expressions to fricas

2009-08-27 Thread Martin Rubey
Bill Page writes: > On Thu, Aug 27, 2009 at 8:34 AM, MaxTheMouse wrote: >> >> This is a known problem. The patch at >> http://trac.sagemath.org/sage_trac/ticket/6318 >> should fix this. >> >> sage: expr=x+1 >> sage: maxima(expr) >> x+1 >> sage: fricas(expr) >> x + 1 >> >> I am using fricas 1.0.7

[sage-devel] Re: converting sage expressions to fricas

2009-08-27 Thread Bill Page
On Thu, Aug 27, 2009 at 8:34 AM, MaxTheMouse wrote: > > This is a known problem. The patch at > http://trac.sagemath.org/sage_trac/ticket/6318 > should fix this. > > sage: expr=x+1 > sage: maxima(expr) > x+1 > sage: fricas(expr) > x + 1 > > I am using fricas 1.0.7 ( > http://trac.sagemath.org/sage

[sage-devel] Re: converting sage expressions to fricas

2009-08-27 Thread MaxTheMouse
On Aug 27, 2:40 am, Bill Page wrote: > This used to work. Is it a known problem? > > The traceback does not make much sense to me. I guess a lot has > changed in this code since sage-3.4 > > I would appreciate any help/suggestions for debugging. > > Thanks. > This is a known problem. The patch