MathAction changed pages http://wiki.fricas.org MathAction changed pages en Fri, 12 Jan 2024 14:31:02 +0000 [ForksInfo] http://wiki.fricas.org/ForksInfo http://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] http://wiki.fricas.org/AxiomUI http://wiki.fricas.org/AxiomUI ??changed: -.. [1] http://page.axiom-developer.org/zope/mathaction/AboutAxiom .. [1] http://wiki.fricas.org/AxiomStrengths Tue, 26 Mar 2024 17:45:44 +0000 [FriCAS language] http://wiki.fricas.org/FriCASLanguage http://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] http://wiki.fricas.org/AxiomStrengths http://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] http://wiki.fricas.org/FriCASLibraryExamples http://wiki.fricas.org/FriCASLibraryExamples ++added: [Root denesting] Fri, 12 Jan 2024 14:38:07 +0000 [Root denesting] http://wiki.fricas.org/RootDenesting http://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*x-1287)*(x^3-3)^(1/2)+3*x^7+37*x^6+39*x^5+451*x^4+1545*x^3+315*x^2+351*x-4860)^(1/3) rsimp(r) )set output algebra off )set output tex on r := ((2*exp(x)^2-12*exp(x)-14)*(exp(x)+3)^(1/2)+exp(x)^3-12*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) http://wiki.fricas.org/NoncommutativeGroebnerBases http://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] http://wiki.fricas.org/SandboxErik http://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] http://wiki.fricas.org/FriCAS http://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: friCAS-20090114': 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 [HyperDoc] http://wiki.fricas.org/HyperDoc http://wiki.fricas.org/HyperDoc ??changed: - 1) Add page to database used by HyperDoc. For this change to - directory contaning ht.db file (this directory also contains .ht - and .pht files) -- relative to top of you installation this is - - target/platform/share/hyperdoc/pages subdirectory - - where platform is name of your platform (something like - x86_64-unknown-linux or i386-pc-mingw32). Next - - rm ht.db # remove the old ht.db file. - /path/to/your/fricas/installation/target/platform/bin/htadd *.ht - - Note: htadd program only add things to database. So, to avoid - keeping old entries (which may be wrong if you change a page) - we remove database first. - - 2) Generate the .pht file (this file contains output from examples). - - To do this use command like: -[18 more lines...] 1 Add page to database used by HyperDoc. For this change to directory contaning ht.db file (this directory also contains .ht and .pht files) -- relative to top of you installation this is: target/platform/share/hyperdoc/pages subdirectory where platform is name of your platform (something like x86_64-unknown-linux or i386-pc-mingw32). Next: rm ht.db # remove the old ht.db file. /path/to/your/fricas/installation/target/platform/bin/htadd *.ht Note: htadd program only add things to database. So, to avoid keeping old entries (which may be wrong if you change a page) we remove database first. 2 Generate the .pht file (this file contains output from examples). To do this use command like: export FRICAS=/path/to/your/fricas/installation/target/platform; $FRICAS/bin/sman -noihere -paste file.ht 3 Regenerate database adding freshly produced .pht file: rm ht.db # remove the old ht.db file. /path/to/your/fricas/installation/target/platform/bin/htadd *.ht *.pht Note1: in the first step it is better to add only .ht pages to database. In the third step we add both .ht and .pht files (otherwise the examples would be missing). Note2: the second step also produces .input file. This file may be safely deleted. Tue, 05 Dec 2023 16:45:09 +0000