> -- > > 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. > > So this patch really does depend on installing a later version of > FriCAS than what is available at the Sage web site. >
The patch at 6318 was changed for how the newer version of fricas behaves. My thought was that the interface and the fricas package should be updated at the same time. I have not tested using clisp and fricas-1.0.3.p0 with sage 4.1.1. Should there be a patch for fricas-1.0.3.p0 as well? Should people install clisp and fricas-1.0.3.p0? > > I get an error because by default the fricas configure and make files > trt to build the Aldor interface and it fails. > ... > > Maybe for now the fricas-1.0.7.p0.spkg script should explicitly disable aldor? > > I have not gotten a problem with building with this is likely system dependent. Is the aldor interface used by Sage? Is it an important part of fricas? > > I think it originally parsed the Type: part of the output. But that > was inadequate because at least in the original Axiom this was > sometimes truncated. At some point I changed the axiom.py interface > to use unparse(x::INFORM) that why it does now. But the output of > unparse has also changed recently in FriCAS and OpenAxiom to include > parenthesis and other minor enhancements. I think the axiom.py and > fricas.py interfaces do not quite properly take account of this. As I > said above the interpretation of the unparse string in the fricas.py > interface is not very robust and assumes that these parenthesis are > present. > > Is there documentation on the details of how the output of unparse has changed? Someone with more fricas experience should adjust this part. Cheers, Adam --~--~---------~--~----~------------~-------~--~----~ 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/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
