Announce: FriCAS 1.1.1 has been released

[Waldek Hebisch]

This a copy of annoucement that I posted to newsgroups.

FriCAS is an advanced computer algebra system. Its capabilities
range from calculus (integration and differentiation) to abstract
algebra. It can plot functions and has integrated help system.

1.1.1 builds on Linux, many Unix like systems (for example Mac OSX
and Solaris 10) and Windows. FriCAS is build on top of Common Lisp;
several Lisps can compile and run FriCAS -- currently supported are
GCL, SBCL, Clisp, ECL, Closure CL (former OpenMCL) and CMU CL.

Project page:

http://fricas.sf.net

Download page:

http://sourceforge.net/project/showfiles.php?group_id=200168

Mailing list. Please sign up before posting a message.

http://groups.google.com/group/fricas-devel?hl=en

Notable changes (compared to version 1.1.0):

- New graphics framework.

- Support for using GMP with sbcl on 32/64 bit AMD/Intel processors
(to activate it one must use '--with-gmp' option to configure).

- Improvements to integration and normalization. In particular
integrals containing multiple non-nested roots should now work
much faster. Also FriCAS now can compute more integrals
of Liouvillian functions.

- Several new special functions.

- Improvements to efricas.

- Looking for default init file FriCAS now first tries to use
'.fricas.input' and only if that fails it looks for
'.axiom.input'.

Bug fixes, in particular:

- Numeric atan, asin and acos took wrong branch.

- WeierstrassPreparation package did not work.

- Saving and restoring history should be now more reliable.

- Fixed two bugs in Spad compiler related to conditional compilation.

- Fixed a problem with rational reconstruction which affected
guessing package.

--
Waldek Hebisch
heb...@math.uni.wroc.pl

[Martin Baker]

Waldek,

I get style warnings as shown below.

I must admit, I only updated /usr/local/lib/* and /usr/local/bin/* but
I did not update my startup script, should I update my startup script
also?

Martin Baker

---------------------------------------------
martin@suse113:~> ./fr
Checking for foreign routines
AXIOM="/usr/local/lib/fricas/target/x86_64-unknown-linux"
spad-lib="/usr/local/lib/fricas/target/x86_64-unknown-linux/lib/
libspad.so"
foreign routines found
STYLE-WARNING: Undefined alien: "gmp_sb_isqrt"
STYLE-WARNING: Undefined alien: "gmp_sb_mul"
STYLE-WARNING: Undefined alien: "gmp_sb_gcd"
STYLE-WARNING: Undefined alien: "gmp_sb_div_rem"
STYLE-WARNING: Undefined alien: "gmp_sb_isqrt"
STYLE-WARNING: Undefined alien: "gmp_sb_mul"
STYLE-WARNING: Undefined alien: "gmp_sb_gcd"
STYLE-WARNING: Undefined alien: "gmp_sb_div_rem"
openServer result 0
FriCAS (AXIOM fork) Computer Algebra System
Version: FriCAS 1.1.1
Timestamp: Sunday November 14, 2010 at 05:41:30
-----------------------------------------------------------------------------
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave FriCAS and return to shell.
-----------------------------------------------------------------------------


(1) ->

[Waldek Hebisch]

Martin Baker wrote"

>
> Waldek,
>
> I get style warnings as shown below.
>
> I must admit, I only updated /usr/local/lib/* and /usr/local/bin/* but
> I did not update my startup script, should I update my startup script
> also?
>
> Martin Baker
>
> ---------------------------------------------
> martin@suse113:~> ./fr
> Checking for foreign routines
> AXIOM="/usr/local/lib/fricas/target/x86_64-unknown-linux"
> spad-lib="/usr/local/lib/fricas/target/x86_64-unknown-linux/lib/
> libspad.so"
> foreign routines found
> STYLE-WARNING: Undefined alien: "gmp_sb_isqrt"
> STYLE-WARNING: Undefined alien: "gmp_sb_mul"
> STYLE-WARNING: Undefined alien: "gmp_sb_gcd"
> STYLE-WARNING: Undefined alien: "gmp_sb_div_rem"
> STYLE-WARNING: Undefined alien: "gmp_sb_isqrt"
> STYLE-WARNING: Undefined alien: "gmp_sb_mul"
> STYLE-WARNING: Undefined alien: "gmp_sb_gcd"
> STYLE-WARNING: Undefined alien: "gmp_sb_div_rem"

That is harmless: sbcl emits style warnings because it would be
easier to generate efficient code from different source. But
we need code as is... I will look into a way to silence the
warnings, but for now we have to live with them.

--
Waldek Hebisch
heb...@math.uni.wroc.pl

[Martin Baker]

On Monday 15 Nov 2010 17:08:02 Waldek Hebisch wrote:
> That is harmless: sbcl emits style warnings because it would be
> easier to generate efficient code from different source. But
> we need code as is... I will look into a way to silence the
> warnings, but for now we have to live with them.

OK, I can live with that,

BTW, just in case anyone is interested in the new graphics framework
there is some documentation, tutorials etc., on these web pages:

http://www.euclideanspace.com/maths/standards/program/mycode/graph/

http://www.euclideanspace.com/maths/standards/program/mycode/graph/tutorial/

http://www.euclideanspace.com/maths/standards/program/mycode/graph/userref/

http://www.euclideanspace.com/maths/standards/program/mycode/graph/progref/

http://www.euclideanspace.com/maths/standards/program/mycode/graph/examples/

What would be the best way to get this into the hyperdoc? Since this
is about graphics it would really help to have both the pictures and
the text.

Martin

[Jalaluddin Morris]

Dear list members,

I compiled fricas 1.1.1 using sbcl-1.0.29.54.rc1 on a quad-core Mac
running OS 10.5.8

Model Name: Mac Pro
Model Identifier: MacPro4,1
Processor Name: Quad-Core Intel Xeon
Processor Speed: 2.66 GHz
Number Of Processors: 1
Total Number Of Cores: 4
L2 Cache (per core): 256 KB
L3 Cache: 8 MB
Memory: 3 GB

In the fricas-1.1.1 folder:

./configure --with-lisp=/usr/local/bin/sbcl
gmake
su
gmake install

I also checked out some of the new graphics framework and so far
everything works as advertised.

Thanks,

Jalaluddin

P.S. I will try compiling with GMP later.

----------------------------------------------------------------------

[Waldek Hebisch]

Jalaluddin Morris wrote:
>
> Dear list members,
>
> I compiled fricas 1.1.1 using sbcl-1.0.29.54.rc1 on a quad-core Mac
> running OS 10.5.8
>

> In the fricas-1.1.1 folder:
>
...

> ./configure --with-lisp=/usr/local/bin/sbcl
> gmake
> su
> gmake install
>
> I also checked out some of the new graphics framework and so far
> everything works as advertised.
>

Thanks for information.

--
Waldek Hebisch
heb...@math.uni.wroc.pl

[Jalaluddin Morris]

Following my recent build, fricas starts up as follows:

Mac-Pro:/ jalaluddin$ fricas
Checking for foreign routines
AXIOM="/usr/local/lib/fricas/target/i686-apple-darwin9.8.0"
spad-lib="/usr/local/lib/fricas/target/i686-apple-darwin9.8.0/lib/libspad.so"

foreign routines found
STYLE-WARNING: Undefined alien: "gmp_sb_isqrt"
STYLE-WARNING: Undefined alien: "gmp_sb_mul"
STYLE-WARNING: Undefined alien: "gmp_sb_gcd"
STYLE-WARNING: Undefined alien: "gmp_sb_div_rem"

openServer result 0
FriCAS (AXIOM fork) Computer Algebra System
Version: FriCAS 1.1.1

Timestamp: Wednesday November 17, 2010 at 22:37:04

-----------------------------------------------------------------------------
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave FriCAS and return to shell.
-----------------------------------------------------------------------------

Do the undefined aliens mean there is something wrong with my
installation of fricas?

*********************************************************************************************

[Ralf Hemmecke]

http://groups.google.com/group/fricas-devel/browse_thread/thread/5e51a28742cc658d/b33462f4dddd0516#b33462f4dddd0516

Ralf

[Waldek Hebisch]

Jalaluddin Morris wrote:
>
> Following my recent build, fricas starts up as follows:
>
> Mac-Pro:/ jalaluddin$ fricas
> Checking for foreign routines
> AXIOM="/usr/local/lib/fricas/target/i686-apple-darwin9.8.0"
> spad-lib="/usr/local/lib/fricas/target/i686-apple-darwin9.8.0/lib/libspad.so"
> foreign routines found
> STYLE-WARNING: Undefined alien: "gmp_sb_isqrt"
> STYLE-WARNING: Undefined alien: "gmp_sb_mul"
> STYLE-WARNING: Undefined alien: "gmp_sb_gcd"
> STYLE-WARNING: Undefined alien: "gmp_sb_div_rem"
> openServer result 0
> FriCAS (AXIOM fork) Computer Algebra System
> Version: FriCAS 1.1.1
> Timestamp: Wednesday November 17, 2010 at 22:37:04
> -----------------------------------------------------------------------------
> Issue )copyright to view copyright notices.
> Issue )summary for a summary of useful system commands.
> Issue )quit to leave FriCAS and return to shell.
> -----------------------------------------------------------------------------
>
>
> Do the undefined aliens mean there is something wrong with my
> installation of fricas?
>

The messages are normal clutter. FYI, when GMP is found I am seeing
8 messages (two groups of 4), and when it is not found I see 4 as
above. So it would be good to check if your FriCAS is actually
finding GMP (the differences in messages may be due to how
loading libraries on Mac works). I would check how much time
the following takes:

)set messages time on
exp1()
digits(10^6)
pp1 := exp1();

This should be much faster (of order of a seconds instead of tens
of seconds) when using GMP.

--
Waldek Hebisch
heb...@math.uni.wroc.pl