MathAction changed pages
https://wiki.fricas.org
MathAction changed pagesenFri, 12 Jan 2024 14:31:02 +0000[DesignIssues]
https://wiki.fricas.org/DesignIssues
https://wiki.fricas.org/DesignIssues
??changed:
 Currently, Axiom says
Currently, FriCAS says
??changed:
 Currently, Axiom allows
Currently, FriCAS allows
??changed:
functions (or operators) and integers. If you don't tell Axiom otherwise, then Axiom
functions (or operators) and integers. If you don't tell FriCAS otherwise, then FriCAS
??changed:
The type of the result of some calculation in Axiom is often
The type of the result of some calculation in FriCAS is often
??changed:
result is still an 'Expression Integer' even though Axiom decides
result is still an 'Expression Integer' even though FriCAS decides
??changed:
In princple it should be possible to ask Axiom to represent the
In princple it should be possible to ask FriCAS to represent the
Tue, 30 Apr 2024 13:29:03 +0000[ForksInfo]
https://wiki.fricas.org/ForksInfo
https://wiki.fricas.org/ForksInfo
??changed:

Note: Apparently recent Axiom effort is only private, the site above was not updated for several years.
Tue, 26 Mar 2024 18:00:23 +0000[AxiomUI]
https://wiki.fricas.org/AxiomUI
https://wiki.fricas.org/AxiomUI
??changed:
.. [1] http://page.axiomdeveloper.org/zope/mathaction/AboutAxiom
.. [1] http://wiki.fricas.org/AxiomStrengths
Tue, 26 Mar 2024 17:45:44 +0000[FriCAS language]
https://wiki.fricas.org/FriCASLanguage
https://wiki.fricas.org/FriCASLanguage
??changed:
 From the Axiom Book: Appendix B Glossary
From the FriCAS Book: Appendix B Glossary
??changed:
 From the Axiom Book: Technical Introduction
From the FriCAS Book: Technical Introduction
??changed:
Ref: Axoim Book "Chapter 2 Using Types and Modes".
Ref: FriCAS Book "Chapter 2 Using Types and Modes".
Tue, 26 Mar 2024 17:42:12 +0000[Axiom Strengths]
https://wiki.fricas.org/AxiomStrengths
https://wiki.fricas.org/AxiomStrengths
??changed:
[Axiom Language] and Library:
[FriCAS Language] and Library:
??changed:
  active [Axiom Wiki]
 active [FriCAS Wiki]
Tue, 26 Mar 2024 17:36:52 +0000[FriCAS Library Examples]
https://wiki.fricas.org/FriCASLibraryExamples
https://wiki.fricas.org/FriCASLibraryExamples
++added:
[Root denesting]
Fri, 12 Jan 2024 14:38:07 +0000[Root denesting]
https://wiki.fricas.org/RootDenesting
https://wiki.fricas.org/RootDenesting
??changed:

FriCAS can denest many nested roots. This is implemented in an extra package so
befor use we need to expose it:
\begin{axiom}
)expose RootSimplification
\end{axiom}
Now we can try
\begin{axiom}
r := sqrt(102*sqrt(7) + 272)
rsimp(r)
r := sqrt(66000162*1000003^(1/2) + 11000159000324)
rsimp(r)
r := sqrt(((4030008370)*700001^(1/2)+12090025110)*1000003^(1/2)+((78000162)*700001^(1/2)+312335685800846295))
rsimp(r)
\end{axiom}
We can denest roots of higher degree:
\begin{axiom}
r := (((6670600520850)*7^(1/2)+73781123539185)*13^(1/2)+((77245760121201)*7^(1/2)+89932095680661))^(1/7)
rsimp(r)
\end{axiom}
Note: Current code supports root of degree 2, 3 or 4 outside. With square root outside inside can contain
roots of degree up to 12. Roots of degree 3 outside more limited concerning what can appear inside.
And we can have roots of higher degree inside:
\begin{axiom}
r := (((827820)*(17^(1/3))^2+(58105080)*17^(1/3)+(134584260))*19^(1/2)+(17045208*(17^(1/3))^2+79043889*17^(1/3)+1426984144))^(1/4)
rsimp(r)
\end{axiom}
Denesting is not limited to numbers, it works for algebraic functions and more general expressions:
\begin{axiom}
)set output tex off
)set output algebra on
r := ((x^6+3*x^5+73*x^4+429*x^3+63*x^2+213*x1287)*(x^33)^(1/2)+3*x^7+37*x^6+39*x^5+451*x^4+1545*x^3+315*x^2+351*x4860)^(1/3)
rsimp(r)
)set output algebra off
)set output tex on
r := ((2*exp(x)^212*exp(x)14)*(exp(x)+3)^(1/2)+exp(x)^312*exp(x)^2+39*exp(x)+52)^(1/2)
rsimp(r)
\end{axiom}
Fri, 12 Jan 2024 14:31:01 +0000[noncommutative Groebner bases] correct according to 96da3341640d9b207218400f485e66c453114241 (remove VarSet from NGroebnerPackage)
https://wiki.fricas.org/NoncommutativeGroebnerBases
https://wiki.fricas.org/NoncommutativeGroebnerBases
??changed:
gPak := NGroebnerPackage(Polynomial(Integer), IndexedExponents(Symbol), Symbol, Pdo)
gPak := NGroebnerPackage(Polynomial(Integer), IndexedExponents(Symbol), Pdo)
Tue, 09 Jan 2024 17:15:47 +0000[SandboxErik]
https://wiki.fricas.org/SandboxErik
https://wiki.fricas.org/SandboxErik
??changed:
How can I rewrite a expression to with respect to a variable? For example v=H*r and to make axiom rewrite this as r=H/r?
How can I rewrite a expression to with respect to a variable? For example v=H*r and to make FriCAS rewrite this as r=H/r?
++added:
lcm([2, 6, 9])
Fri, 08 Dec 2023 13:56:02 +0000[FriCAS]
https://wiki.fricas.org/FriCAS
https://wiki.fricas.org/FriCAS
??changed:
(http://www.math.uni.wroc.pl/~hebisch).
(http://fricas.org/~hebisch).
??changed:
When editing pages on this wiki you can specify which
version/fork of Axiom you wish to use to execute the
commands in the !\begin{axiom} ... \end{axiom} environment.
This page is currently set to 'Axiom: friCAS20090114':
Pages on this wiki are rendered using current version of FriCAS:
++added:
After a page was rendered its content is cached and will change only
after edit or explicit request for refresh.
Tue, 05 Dec 2023 16:46:13 +0000