MathAction changed pages
http://axiomwiki.newsynthesis.org
MathAction changed pagesenWed, 15 Aug 2018 22:09:32 +0000[SandboxFactoringNoncommutativePolynomials] test for irreducibility
http://axiomwiki.newsynthesis.org/SandboxFactoringNoncommutativePolynomials
http://axiomwiki.newsynthesis.org/SandboxFactoringNoncommutativePolynomials
??changed:
We need the solution of the factorization equations to associate a unique value with each variable. If the result includes any implicit solutions, i.e. equations whose righthand side is not just a symbol then 'solve' was not able to find a full solution. In this case the expression is irreducible over the base domain.
We need the solution of the factorization equations to associate a unique value with each variable. If the result includes any implicit solutions, i.e. equations whose lefthand side is not just a symbol then 'solve' was not able to find a full solution. In this case the expression is irreducible over the base domain.
Mon, 09 Jul 2018 21:46:12 +0000[XDistributedPolynomial]
http://axiomwiki.newsynthesis.org/XDistributedPolynomial
http://axiomwiki.newsynthesis.org/XDistributedPolynomial
??changed:

This type supports distributed multivariate polynomials
whose variables do not commute.
The coefficient ring may be noncommutative too.
However, coefficients and variables commute.
\begin{axiom}
)sh XDistributedPolynomial
\end{axiom}
Fri, 06 Jul 2018 22:46:02 +0000[OrderedSet]
http://axiomwiki.newsynthesis.org/OrderedSet
http://axiomwiki.newsynthesis.org/OrderedSet
??changed:

The class of totally ordered sets, that is, sets such that for each pair of elements <code>(a, b)</code>
exactly one of the following relations holds <code>a < b or a=b or b < a</code>
and the relation is transitive, i.e. <code>a < b and b < c => a < c</code>.
This order should be the natural order on given structure.
\begin{axiom}
)sh OrderedSet
\end{axiom}
Fri, 06 Jul 2018 22:43:45 +0000[FreeMonoid]
http://axiomwiki.newsynthesis.org/FreeMonoid
http://axiomwiki.newsynthesis.org/FreeMonoid
??changed:

The free monoid on a set S is the monoid of finite products of
the form <code>reduce(*, [si ^ ni])</code> where the si's are in S, and the ni's
are nonnegative integers. The multiplication is not commutative.
When S is an OrderedSet, then FreeMonoid(S) has order: for two
elements <code>x</code> and <code>y</code> the relation <code>x < y</code>
holds if either <code>length(x) < length(y)</code> holds or if these lengths
are equal and if <code>x</code> is smaller than <code>y</code> w.r.t. the
lexicographical ordering induced by <code>S</code>.
\begin{axiom}
)sh FreeMonoid
\end{axiom}
Fri, 06 Jul 2018 22:32:42 +0000[OrderedVariableList]
http://axiomwiki.newsynthesis.org/OrderedVariableList
http://axiomwiki.newsynthesis.org/OrderedVariableList
??changed:

This domain implements ordered variables
\begin{axiom}
)sh OrderedVariableList
\end{axiom}
Wed, 04 Jul 2018 16:50:05 +0000[Axiom Strengths]
http://axiomwiki.newsynthesis.org/AxiomStrengths
http://axiomwiki.newsynthesis.org/AxiomStrengths
??changed:
  elementary integration, see
 http://www.math.univmontp2.fr/FODESIT/SemJuin2004/Bronstein/bronstein.pdf
 elementary integration
Wed, 27 Jun 2018 15:10:21 +0000[ExampleCharacterTable]
http://axiomwiki.newsynthesis.org/ExampleCharacterTable
http://axiomwiki.newsynthesis.org/ExampleCharacterTable
removed:
Alas, we need a bug fix, currently on our machine computation of eigenvalues and eigenvectors fails...
??changed:
 Here we get list of characters
lch := normalize_vectors(le, inv, nlcl)
\end{axiom}
Here we get list of characters
\begin{axiom}
)set output tex off
)set output algebra on
lch := normalize_vectors(le, inv, nlcl);
lch
Wed, 27 Jun 2018 15:09:34 +0000[FrontPage] fix typo and remove Statistics link
http://axiomwiki.newsynthesis.org/FrontPage
http://axiomwiki.newsynthesis.org/FrontPage
??changed:
 highlevel "programming language":FriCASLanguage for expressing a
highlevel "programming language":FriCASLanguage for expressing
??changed:
 <li>[Statistics]</li>
<! <li>[Statistics]</li> >
Fri, 25 May 2018 13:37:21 +0000[FriCASHelpSet]
http://axiomwiki.newsynthesis.org/FriCASHelpSet
http://axiomwiki.newsynthesis.org/FriCASHelpSet
++added:
<h3>)set messages prompt</h3>
\begin{axiom}
)set messages prompt
\end{axiom}
<h3>)set messages time</h3>
\begin{axiom}
)set messages time
\end{axiom}
++added:
<h3>)set output fraction</h3>
\begin{axiom}
)set output fraction
\end{axiom}
Thu, 24 May 2018 21:36:19 +0000[SandboxErik]
http://axiomwiki.newsynthesis.org/SandboxErik
http://axiomwiki.newsynthesis.org/SandboxErik
??changed:

How do I find the nroot of a number?
You can do it symbolically or numerically.
\begin{axiom}
nthRoot(4, 7)
nthRoot(4.0, 7)
\end{axiom}
How do I solve inequalites?
FriCAS lacks support for this.
How do I find the angle in a scalar product? Degrees and radians.
Homework! Program the mathematical formula and you are done.
Is it possible to find the logarithm with base 10, 2 and 3 etc?
https://en.wikipedia.org/wiki/Logarithm#Change_of_base
In FriCAS 'log' denotes the natural logarithm and '%e' denotes 'exp(1)'.
\begin{axiom}
log %e
\end{axiom}
The lenght of a vector?
Just enter the formula.
\begin{axiom}
v := vector [1,3,5]
len := sqrt dot(v,v)
\end{axiom}
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?
Solve for it.
\begin{axiom}
)clear prop v
solve(v=H*r, r)
\end{axiom}
And I guess lcm is defined for only 2 numbers and not 3?
You can compute the lcm of a list of values.
\begin{axiom}
lst := [n for n in 1..10]
lcm lst
\end{axiom}
I realize that this is a lot of questions, so it is completely okay if you
answer each questions short. I have tried a lot on my own, but need hints
to understand the whole picture. I will also try to understand the coding
of the programme afterwards:)It took me a short time to become natural with
the programme, so thanks a lot!
Thu, 24 May 2018 20:47:26 +0000