MathAction changed pages
http://fricaswiki.math.uni.wroc.pl
MathAction changed pagesenMon, 16 Mar 2020 15:39:57 +0000[Units and Dimensions]
http://fricaswiki.math.uni.wroc.pl/UnitsAndDimensions
http://fricaswiki.math.uni.wroc.pl/UnitsAndDimensions
++added:
Wed, 25 Mar 2020 13:25:30 +0000[SpadFileConvention]
http://fricaswiki.math.uni.wroc.pl/SpadFileConvention
http://fricaswiki.math.uni.wroc.pl/SpadFileConvention
??changed:
  .spad files must be understood by the SPAD compiler
 .spad files must be understood by the SPAD compiler and can
be compiled separately
 for bootstrap there is a script that splits files into pieces starting at
')abbrev' lines and ending just before next ')abbrev' line or at the
end of file. Consequently, each such piece must be complete valid
Spad file. In particular constructor documentation should go after
')abbrev' line
??changed:

Note: Currently '.spad' files are valid Spad
??changed:
 remaned to .spad. We have now a little sed script
renamed to .spad. We have now a little sed script
??changed:
 pieces correspondig to single constructor. Note that
pieces corresponding to single constructor. Note that
??changed:
 Concerining structure of sources, currently there is a
 requrement to have ')abbrev' lines at the start of
Concerning structure of sources, currently there is a
requirement to have ')abbrev' lines at the start of
Sun, 22 Mar 2020 18:27:19 +0000[BuildFriCAS]
http://fricaswiki.math.uni.wroc.pl/BuildFriCAS
http://fricaswiki.math.uni.wroc.pl/BuildFriCAS
??changed:
can get via subversion as

 svn co svn://svn.code.sf.net/p/fricas/code/trunk fricas
can get via git as
git clone http://github.com/fricas/fricas fricas
??changed:
you are mainly interested in "using" FriCAS, I guess Cygwin is
you are mainly interested in "using" FriCAS, WSL is
removed:

For step by step instructions for downloading and building
using CYGWIN see BuildOnCygwin

There is yet another alternative, which is called "andLinux".
??changed:
Finally, note that in the instructions we use CLISP as
Common Lisp implementation. In principle, it should work with
any Common Lisp with a little patching. You can find details
about supported Common Lisps and required versions in the
INSTALL file in the FriCAS distribution.

Sun, 22 Mar 2020 18:14:15 +0000[FriCAS Sources]
http://fricaswiki.math.uni.wroc.pl/FriCASSources
http://fricaswiki.math.uni.wroc.pl/FriCASSources
??changed:
Browse  http://sourceforge.net/p/fricas/code
Browse  http://github.com/fricas/fricas
Sun, 22 Mar 2020 18:09:23 +0000[Complex Polynomial]
http://fricaswiki.math.uni.wroc.pl/ComplexPolynomial
http://fricaswiki.math.uni.wroc.pl/ComplexPolynomial
removed:
*Andrea Bedini wrote:*

I'm just learning how to do some computations with Axiom,
but I've a problem with complex numbers.

Wed, 18 Mar 2020 18:35:04 +0000[FriCASPreGenerated]
http://fricaswiki.math.uni.wroc.pl/FriCASPreGenerated
http://fricaswiki.math.uni.wroc.pl/FriCASPreGenerated
??changed:
The FriCAS build system comes with a new make target "dist" which
In the source tree there is scrit 'src/scripts/mkdist.sh'. This
script is used to make releases. Normal use is
path_to/mkdist.sh copylisp copyphts copy_help=path_to_help
where 'path_to/mkdist.sh' is full pathname of the script, 'path_to_help'
is path to directory containing help files (they are _not_ generated
by build process). The script should be invoked in build directory
after outofsource build. It creates 'dist' subdirectory which
contains (tree of) files that should go into distribution tarball.
Other options can be used to generate variants, where some but
not all parts are pregenerated.
Alternatively, FriCAS build system comes with a new make target "dist" which
??changed:
location for the NOWEB tarball as well as the directory of
location for the directory of
??changed:
 make NOWEB=/path/to/noweb.tar.bz2 helpsrcdir=/path/to/spadhelp dist

The generated tarball will contain a "zips" subdirectory with the noweb
tarball and a "pregenerated" subdirectory with all the
make helpsrcdir=/path/to/spadhelp dist
The generated tarball will contain a "pregenerated" subdirectory with all the
Mon, 16 Mar 2020 14:56:15 +0000[WebSite]
http://fricaswiki.math.uni.wroc.pl/WebSite
http://fricaswiki.math.uni.wroc.pl/WebSite
??changed:
 WebSite:portal.axiomdeveloper.org/refs
WebSite:fricas.sf.net
Wed, 11 Mar 2020 18:57:34 +0000[numerical linear algebra]
http://fricaswiki.math.uni.wroc.pl/NumericalLinearAlgebra
http://fricaswiki.math.uni.wroc.pl/NumericalLinearAlgebra
removed:
I'm new to Axiom, so maybe I'm doing things in a stupid way.

??changed:
m := matrix([[random()$Integer for i in 1..10] for j in 1..10]); sm := m + transpose(m); smf:Matrix Float := sm
m := matrix([[random(1000)$Integer for i in 1..10] for j in 1..10]); sm := m + transpose(m); smf:Matrix Float := sm
++added:
)set output tex off
)set output algebra on
??changed:
we cannot recover the characteristic polynomial from this solution: Even if a large number is passed to solve, accuracy does not increase.
we cannot recover the characteristic polynomial from this solution.
??changed:
small second argument to solve. Giving large second arguments means very poor
accuracy:

\begin{axiom}
solve(x+11/10,3)
\end{axiom}
small second argument to solve.
??changed:
digits(120)
ev:= solve(rhs(eigen.1),1.0*10^(100));
cp:= reduce(*, [rhs(x)lhs(x) for x in ev]);
digits(40)
ev:= solve(rhs(eigen.1),1.0*10^(35));
cp:= reduce(*, [rhs(x)lhs(x) for x in ev])
++added:
)set output algebra off
)set output tex on
??changed:
From unknown Fri Jun 24 04:48:11 0500 2005
From: unknown
Date: Fri, 24 Jun 2005 04:48:11 0500
Subject: test
MessageID: <200506240448110500@page.axiomdeveloper.org>

\begin{axiom}
A:=[[a,b],[c,d]]
\end{axiom}

From unknown Fri Jun 24 04:55:05 0500 2005
From: unknown
Date: Fri, 24 Jun 2005 04:55:05 0500
Subject: test
MessageID: <200506240455050500@page.axiomdeveloper.org>


For matrices of expressions one has to explicitly specify package:
??changed:
eigen:=eigenvalues(A)
eigen:=eigenvalues(A)$InnerEigenPackage(EXPR(INT))
??changed:
Unfortunately, currently eigenvalues does not work for general expressions,
which causes the failure above.
Unfortunatly, result is unsimplified, siplification is
separate, for example
\begin{axiom}
map(simplify, eigen(1))
\end{axiom}
Wed, 11 Mar 2020 18:29:35 +0000[#145 piping commands to sman does not work]
http://fricaswiki.math.uni.wroc.pl/145PipingCommandsToSmanDoesNotWork
http://fricaswiki.math.uni.wroc.pl/145PipingCommandsToSmanDoesNotWork
??changed:
interface to send commands to AXIOMsys with no problems. In order
interface to send commands to FRICASsys with no problems. In order
??changed:
will need to start sman instead of AXIOMsys in order to setup the
will need to start sman instead of FRICASsys in order to setup the
Sun, 08 Mar 2020 16:45:54 +0000[SandBoxDoyen]
http://fricaswiki.math.uni.wroc.pl/SandBoxDoyen
http://fricaswiki.math.uni.wroc.pl/SandBoxDoyen
??changed:
 Start Axiom (or use AXIOMsys for command line only)::
Start Axiom (or use FRICASsys for command line only)::
??changed:
 to AXIOMsys
to FRICASsys
??changed:
AXIOMsys</pre>
FRICASsys</pre>
Sun, 08 Mar 2020 16:45:54 +0000