Opened 13 years ago

Closed 12 years ago

#4461 closed task (wontfix)

fricas-1.0.5 update

Reported by: bpage Owned by: mhansen
Priority: minor Milestone: sage-duplicate/invalid/wontfix
Component: packages: optional Keywords: axiom interface
Cc: Merged in:
Authors: Reviewers:
Report Upstream: Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges


The fricas project has a new release (1.0.4) which includes enhancements specifically related to the Sage interface. A new version of the optional fricas package (current verson fricas-1.0.3.p0) needs to be created.

The procedure involves first building fricas on some convenient platform to generate cached lisp code. This might take about 1 - 2 hours on a fast machine. This generated code can than be included in a new source distribution created by running

../fricas/src/scripts/ --copy_lisp

The contents of the ./dist directory can be moved to the ./src directory of the spkg. The use of cached lisp allows fricas to be built in about 12 minutes or less on a the target machine.

Note: There may be a problem with clisp support of FFI in Sage. A patch to allow fricas to build without FFI is attached (not yet tested with fricas-1.0.4).

Attachments (1)

disable-ffi.patch (1.8 KB) - added by bpage 13 years ago.
disable FFI in fricas

Download all attachments as: .zip

Change History (7)

Changed 13 years ago by bpage

disable FFI in fricas

comment:1 Changed 13 years ago by mabshoff

I am not sure what to do about the Aldor interface, i.e. we discourage spkgs downloading content dynamically during build. For now I would prefer that the default for now does not attempt to build the Aldor interface and only does so if some env variable (like SAGE_FRICAS_ALDOR is equal to 'yes').



comment:2 Changed 13 years ago by bpage

  • Summary changed from fricas-1.0.4 update to fricas-1.0.5 update

No package for fricas release 1.0.4 was ever completed. Meanwhile there is a new version of FriCAS available.

An experimental package for fricas release 1.0.5 is available here:

So far I have only tested this package with sage-3.1.2 on sage.math using the following commands:

  $ wget
  $ .../sage -f fricas-1.0.5.spkg

For example with this version you can compute the following integral:

sage: ex1=axiom(2^x/sqrt(1+4^x));ex1

   | x
  \|4  + 1
sage: ex1.integrate(x)

         |   x log(2) 2          x log(2)
    log(\|(%e        )  + 1  - %e        )
  - --------------------------------------

Help testing on other platforms and versions of Sage would be appreciated.

comment:3 Changed 13 years ago by bpage

On Mon, 26 Jan 2009 21:56:44 -0800 William Stein wrote:

It fails the following tests (have you posted a patch to trac to update this)?

By the way, when using this, I repeatedly felt like I wished the command in Sage were "fricas" instead of "axiom" and the file to test were "" instead of "".

wstein@sage:~/sage/devel/sage/sage/interfaces$ sage -t -optional
sage -t -optional "devel/sage-main/sage/interfaces/"
File "/home/wstein/sage/devel/sage-main/sage/interfaces/", line 61:
    sage: F.type()                              # optional
    Factored Polynomial Integer
File "/home/wstein/sage/devel/sage-main/sage/interfaces/", line 80:
    sage: print axiom.eval('factor(x^5 - y^5)')   # optional
               4      3    2 2    3     4
    - (y - x)(y  + x y  + x y  + x y + x )
    Type: Factored Polynomial Integer
                 4      3    2 2    3     4
      - (y - x)(y  + x y  + x y  + x y + x )

File "/home/wstein/sage/devel/sage-main/sage/interfaces/", line 561:
    sage: axiom(x+2).type()  #optional -- requires Axiom
    Polynomial Integer
File "/home/wstein/sage/devel/sage-main/sage/interfaces/", line 623:
    sage: _.type()        #optional
    Tuple PositiveInteger
3 items had failures:
   2 of  21 in __main__.example_0
   1 of   3 in __main__.example_19
   1 of   6 in __main__.example_22

comment:4 Changed 13 years ago by mhansen

  • Owner changed from mabshoff to mhansen
  • Status changed from new to assigned

Hi Bill,

I made a patch at #5111 which separates the FriCAS and the Axiom interfaces. Most of the functionality is still in since it is common to both. Also, the improvements at #4036 are in that patch.

Could you make it so that the spkg does not install an executable named 'axiom'? Then, we can put that spkg up when that patch goes in.

Thanks, --Mike

comment:6 Changed 12 years ago by mvngu

  • Component changed from packages to optional packages
  • Milestone changed from sage-4.1.1 to sage-duplicate/invalid/wontfix
  • Resolution set to wontfix
  • Status changed from assigned to closed

Closing this as #6517 deals with a more recent version of FriCAS than the current ticket.

Note: See TracTickets for help on using tickets.