MathAction changed pages
http://axiomwiki.newsynthesis.org
MathAction changed pagesenFri, 13 Apr 2018 16:00:02 +0000[BootProgramming]
http://axiomwiki.newsynthesis.org/BootProgramming
http://axiomwiki.newsynthesis.org/BootProgramming
??changed:
Boot is used internally in FriCAS for some of the interpreter
Boot (more precisely newer dialect called Shoe) is used internally in FriCAS for some of the interpreter
Fri, 20 Apr 2018 15:59:53 +0000[CommonDenominator for polynomials]
http://axiomwiki.newsynthesis.org/CommonDenominatorForPolynomials
http://axiomwiki.newsynthesis.org/CommonDenominatorForPolynomials
??changed:
Note: Common denominator in FriCAS is extended in such a way.

This package extends UnivariatePolynomialCommonDenominator for arbitrary polynomial categories. In fact, I don't understand why the original package is so restrictive.

\begin{spad}
)abbrev package PCDEN PolynomialCommonDenominator
PolynomialCommonDenominator(R, Q, P, E, VarSet): Exports == Impl where
 R : IntegralDomain
 Q : QuotientFieldCategory R
 E : OrderedAbelianMonoidSup
 VarSet: OrderedSet
 P: PolynomialCategory(Q, E,VarSet)

 Exports ==> with
 commonDenominator: P > R
 ++ commonDenominator(q) returns a common denominator d for
 ++ the coefficients of q.
 clearDenominator : P > P
 ++ clearDenominator(q) returns p such that \spad{q = p/d} where d is
[17 more lines...]
This page presented extension of UnivariatePolynomialCommonDenominator for arbitrary polynomial categories. FriCAS now
contains such extension, so we just present an example.
++added:
)expose PCDEN
Fri, 13 Apr 2018 15:44:45 +0000[Cartesian Product]
http://axiomwiki.newsynthesis.org/CartesianProduct
http://axiomwiki.newsynthesis.org/CartesianProduct
??changed:
++ This domain implements cartesian product

\begin{axiom}
)show Product
\end{axiom}

\begin{spad}
)abbrev domain PRODUCT Product
Product (A:SetCategory,B:SetCategory) : C == T
 where
 C == SetCategory with
 if A has Finite and B has Finite then Finite
 if A has Monoid and B has Monoid then Monoid
 if A has AbelianMonoid and B has AbelianMonoid then AbelianMonoid
 if A has CancellationAbelianMonoid and
 B has CancellationAbelianMonoid then CancellationAbelianMonoid
 if A has Group and B has Group then Group
 if A has AbelianGroup and B has AbelianGroup then AbelianGroup
 if A has OrderedAbelianMonoidSup and B has OrderedAbelianMonoidSup
[85 more lines...]
This domain implements cartesian product, we give example usage here:
??changed:
lookup(makeprod(2,[2])$X)
lookup(construct(2,[2])$X)
Fri, 13 Apr 2018 15:35:04 +0000[AxiomDevelopment]
http://axiomwiki.newsynthesis.org/AxiomDevelopment
http://axiomwiki.newsynthesis.org/AxiomDevelopment
??changed:
This page is intended for Axiom developers and those who might want to
become developers. Here you can get an overview of what to do, and
where to discuss issues with others.
This is mostly historic page, see project pages for uptodate info.
This page was intended for developers of original Axiom project.
removed:
Current Axiom development work is archived using the Arch source code
repository. Tim also explained "why":ArchRationale Arch was choosen for
this task. "Using Arch":ArchUsage is not difficult.

If you have any difficulty with Arch, you can also access the same
source code via "darcs":http://abridgegame.org/darcs. See MathActionRepository.

??changed:
Axiom [Design Issues]

 Well, design issues...

Axiom [OldTodoList]

 Working towards the next Axiom Release

Axiom [Found Objects]

 This is a collection of pages I found on the web, which may contain useful stuff.
Fri, 13 Apr 2018 15:25:54 +0000[InputForm]
http://axiomwiki.newsynthesis.org/InputForm
http://axiomwiki.newsynthesis.org/InputForm
++added:
Test 'parse' and 'unparse':
??changed:
)show InputForm
parse("sin x + 1")$InputForm
unparse(parse("sin x + 1")$InputForm)
 syntax error gives empty result
null? parse("sin(x + 1")$InputForm
removed:
Add a new export for 'parse'.
\begin{spad}
)abbrev domain INFORM InputForm
++ Parser forms
++ Author: Manuel Bronstein
++ Date Created: ???
++ Date Last Updated: 19 April 1991
++ Description:
++ Domain of parsed forms which can be passed to the interpreter.
++ This is also the interface between algebra code and facilities
++ in the interpreter.

)boot $noSubsumption := true

InputForm():
 Join(SExpressionCategory(String,Symbol,Integer,DoubleFloat,OutputForm),
 ConvertibleTo SExpression) with
 interpret: % > Any
 ++ interpret(f) passes f to the interpreter.
[172 more lines...]
Fri, 30 Mar 2018 18:33:44 +0000[FriCASTutorial]
http://axiomwiki.newsynthesis.org/FriCASTutorial
http://axiomwiki.newsynthesis.org/FriCASTutorial
??changed:
The [Axiom Volume 1]: Tutorial is available in printed format at
http://publishbook.com and http://www.lulu.com/product/filedownload/axiomvolume1tutorial/243127
The first chapters of FriCAS book http://fricas.github.io/book.pdf
may serve as a tutorial.
??changed:
in English, at
http://www.dcs.standrews.ac.uk/~mnd/documentation/axiom_tutorial (Alternate link: TutorialIntroductionToAxiom )
in English, copy at: TutorialIntroductionToAxiom
??changed:
available at http://wwwrocq.inria.fr/codes/Daniel.Augot/axiom_intro.pdf
available at http://pages.saclay.inria.fr/daniel.augot/documents/axiom_intro.pdf
removed:
http://pages.saclay.inria.fr/daniel.augot/documents/axiom_intro.pdf
??changed:
(local copy http://axiomwiki.newsynthesis.org/public/axiom/)
(local copy of Texmacs files http://axiomwiki.newsynthesis.org/public/axiom/)
removed:
From Yrogirg Fri Apr 1 09:10:57 0700 2011
From: Yrogirg
Date: Fri, 01 Apr 2011 09:10:57 0700
Subject: Broken link
MessageID: <201104010910570700@axiomwiki.newsynthesis.org>

The link to the tutorial by Martin N. Dunstan doesn't work (http://www.dcs.standrews.ac.uk/~mnd/documentation/axiom_tutorial).
Sun, 25 Mar 2018 15:22:04 +0000[mathematical algorithms]
http://axiomwiki.newsynthesis.org/MathematicalAlgorithms
http://axiomwiki.newsynthesis.org/MathematicalAlgorithms
??changed:
<hr>
On Wednesday, June 15, 2005 12:42 AM daly@axiomdeveloper.org wrote:

Subject: [Axiomdeveloper] Mathematics Subject Classification


There is a mathematics subject classification scheme list at

http://www.ams.org/msc

and it appears to be used at

http://www.mathatlas.org

An interesting project would be to classify Axiom's math algorithms
relative to this scheme.

Fri, 23 Mar 2018 16:28:04 +0000[FriCAS Library]
http://axiomwiki.newsynthesis.org/FriCASLibrary
http://axiomwiki.newsynthesis.org/FriCASLibrary
??changed:
See also [Axiom Algebra].

See also [FriCAS Algebra].
Sun, 18 Mar 2018 15:57:24 +0000[OtherComputerAlgebraSystems]
http://axiomwiki.newsynthesis.org/OtherComputerAlgebraSystems
http://axiomwiki.newsynthesis.org/OtherComputerAlgebraSystems
++added:
Derive  no longer available
??changed:
 Mupad  See: http://www.mupad.de



From unknown Wed Aug 24 22:50:06 0500 2005
From: unknown
Date: Wed, 24 Aug 2005 22:50:06 0500
Subject: Derive
MessageID: <200508242250060500@page.axiomdeveloper.org>

Well, if you have Maple and Mathematica, you should have Derive too. :)

http://www.derive.com/


From BillPage Thu Aug 25 09:07:34 0500 2005
From: Bill Page
Date: Thu, 25 Aug 2005 09:07:34 0500
Subject: Derive
[52 more lines...]
Mupad  No longer available separately. You can get it as Matlab symbolic toolkit
Sun, 18 Mar 2018 15:46:46 +0000[FriCAS compiler]
http://axiomwiki.newsynthesis.org/FriCASCompiler
http://axiomwiki.newsynthesis.org/FriCASCompiler
??changed:
 function overloading both argument types and return type
 function overloading on both argument types and return type
??changed:
See also: "A very brief introduction to programming in SPAD":ProgrammingSPAD.
For more details see "A very brief introduction to programming in SPAD":ProgrammingSPAD.
Sun, 18 Mar 2018 15:37:39 +0000