On Tue, Sep 16, 2008 at 10:11 PM, Bill Page wrote: > ... > After the fricas-1.0.3.spkg installation the Axiom library is located here: > > $SAGE_ROOT/local/lib/fricas/target/x86_64-unknown-linux/algebra > > This is where all the algebra-related object files are located. > Probably this is also a logical place to set as the default location > when Sage starts FriCAS. > ...
Here is a small patch that sets this default path:
$ diff -a u axiom.py-old axiom.py-new
--- axiom.py-old 2008-09-16 19:32:18.000000000 -0700
+++ axiom.py-new 2008-09-16 19:38:34.000000000 -0700
@@ -29,6 +29,11 @@
the FriCAS fork of the Axiom project by Waldek Hebisch that
uses pre-compiled cached Lisp code to build Axiom very quickly
with clisp.
+ -- Mike Hansen (2008-09) made major improvements to the interface
+ including conversion to and from native Sage.
+ -- Martin Rubey (2008-9) contributed conversion of Axiom expressions
+ like 'sin(x)' to sage expressions.
+ -- Bill Page (2008-9) implemented compiling Spad code
If the string "error" (case insensitive) occurs in the output of
anything from axiom, a RuntimeError exception is raised.
@@ -239,6 +244,7 @@
out = self._eval_line(')set functions compile on', reformat=False)
out = self._eval_line(')set output length 245', reformat=False)
out = self._eval_line(')set message autoload off', reformat=False)
+ out = self._eval_line(')cd
'+SAGE_ROOT+'/local/lib/fricas/target/x86_64-unknown-linux/algebra',
reformat=False)
def _read_in_file_command(self, filename):
"""
@@ -368,7 +374,7 @@
EXAMPLES:
sage: axiom.compile('''
- )abbrev package FOO foo
+ )abbrev package FOO Foo
Foo():with
bar: Integer->Integer
== add
----
Regards,
Bill Page.
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
axiom.py-2.patch
Description: Binary data
