Changes
http://page.axiom-developer.org/zope/mathaction/ManipulatingExpressions/diff
--
??changed:
-
If you would like to do this with a more common type of
expression and hide the details, you can define
\begin{axiom}
op(n,x) == interpret((x::InputForm).(n+1))
\end{axiom}
Then manipulating expr
On Tuesday, June 21, 2005 12:17 AM Tim Daly wrote:
> i am trying to avoid 1.2 million lines of javascript with browser
> dependent ifdefs. we already have that problem with C.
I agree. For desktop use we can easily standardize on one browser.
I recommend Mozilla's FireFox. Except for jsMath whic
Martin,
As you know, on MathAction we can write a pseudo-environment
\begin{axiom}
guess([1,1+q,1+q+q^2])
$GUESS(n,FRAC POLY INT,i+->q^i,FRAC POLY INT, EXPR INT, i+->i, i+->i)
\end{axiom}
to achieve the kind of output you describe below.
It would not be difficult at all to achieve this same res
Changes http://page.axiom-developer.org/zope/mathaction/ListToMatrix/diff
--
??changed:
-L2:=[concat([L.i.j for j in 1..#L.i],[0 for j in
((#L.i)+1)..reduce(max,map(#,L))]) for i in 1..#L]
L2:=[concat([L.i.j for j in 1..#L.i],[0 for j in ((#L.i)+1)..#L]) for i in
1..#L]
--
forwarded from http:/
Bob,
> Am 20.06.2005 um 22:05 schrieb Bob McElrath:
>> ...
>> FYI this would never work in Maple, since it uses non-
>> deterministic expression sorting...the first term will not
>> necessarily be the same upon subsequent evaluations, so
>> "simplify(op(1,%)+op(2,%))" will not necessarily be opera
Changes http://page.axiom-developer.org/zope/mathaction/ListToMatrix/diff
--
Assume that I have a 'List', like:
\begin{axiom}
L := [[- 1,3,- 3,1],[3,- 6,3],[- 3,3],[1]]
\end{axiom}
(which is calculated from some earlier expressions).
How can I convert it into a 'SquareMatrix'.
\begin{axiom}
L2:=[co
Changes http://page.axiom-developer.org/zope/mathaction/PiecewiseFunctions/diff
--
Consider the following function, given in recursive manner:
\begin{axiom}
N0(t|(t<0) or (t>1))==0
N0(t|(t>=0) and (t<=1))==1
N(t,i,0)==N0(t-i)
N(t,i,p|p>0)==(t-i)/p*N(t,i,p-1)+(i+1-t)/p*N(t,i+1,p-1)
\end{axiom}
This
Changes http://page.axiom-developer.org/zope/mathaction/PatternMatching/diff
--
Say, I have
\begin{axiom}
test:=D(sin(z)^2, z)
\end{axiom}
What is the easiest way to see, if the output has sin(z) ?
\begin{axiom}
member?(sin(z),kernels(test))
\end{axiom}
--
forwarded from http://page.axiom-develo
Changes http://page.axiom-developer.org/zope/mathaction/InputForm/diff
--
Over forty domains belong to the category !ConvertibleTo !InputForm.
See section: **6.14** *Making Functions from Objects* in the [Axiom Book]
\begin{axiom}
)show InputForm
\end{axiom}
For example
\begin{axiom}
x^2+2*x+3
Changes
http://page.axiom-developer.org/zope/mathaction/PolynomialCoefficients/diff
--
Let's examine a simple case:
\begin{axiom}
Dg := [p3 - 3*p2 + 3*p1 - p0,3*p2 - 6*p1 + 3*p0,3*p1 - 3*p0,p0]
\end{axiom}
Now calculate coefficients in two ways:
\begin{axiom}
map(coefficients, Dg::List MPOLY([p0,
Changes http://page.axiom-developer.org/zope/mathaction/AxiomProblems/diff
--
++added:
- [Definite Integration]
- [Dynamic Function Domains]::
functions with signatures like (a,b,B(a))->(C(a,b))
- [efficiency problem]
- "GCD in EXPR":EXPR_GCD
- [indexed variables]
- [List To Matrix]
- [
Changes
http://page.axiom-developer.org/zope/mathaction/ManipulatingExpressions/diff
--
The domain InputForm can be quite useful for manipulating parts
of expressions. For example
\begin{axiom}
ex1:=integrate(log(x)+x, x)
%::InputForm
ex2:=interpret((%::InputForm).2.2)
\end{axiom}
--
forwarded
Bob,
On Tuesday, June 21, 2005 9:47 PM you wrote:
> The integrate() function seems to work quite well, despite the fact
> that I might add two disparate things.
>
> (8) -> integrate(log(x)+x, x)
>
> 2
>2x log(x) + x - 2x
> (8) ---
>
> ...
> Am 20.06.2005 um 22:05 schrieb Bob McElrath:
>> I've also been thinking about the worksheet interface. One of
>> the main drawbacks I see is the concept of "state". The server
>> has some state that is different from the worksheet state.
> ...
On Tuesday, June 21, 2005 7:00 AM Kai Oliver
Hi,
Sorry,
Section 0.4.2 of axiom book => accessing earlier result.
It's a little dangerous in term of memory management...
Cheers,
Greg
> -Message d'origine-
> De : [EMAIL PROTECTED]
> [mailto:[EMAIL PROTECTED] la
> part de Vanuxem Grégory
> Envoyé : mercredi 22 juin 2005 03:10
> À
On Tuesday, June 21, 2005 9:38 PM Vanuxem Grégory wrote:
> Sorry,
Why do you write that you are your sorry???
> Section 0.4.2 of axiom book => accessing earlier result.
Quote:
0.4.2 Accessing Earlier Results
The "%" macro represents the result of the previous computation.
The "%%" macro is av
Page, Bill [EMAIL PROTECTED] wrote:
> "Suppose we try a naive approach. We could decorate each domain (those
> parts of Axiom which have an internal representation) with a function
> that would return the internal representation recursively expanded
> into a lisp s-expression. We could also give ea
I wrote:
> ...
> If you repeat this process several times:
>
> 1) Open Axiom
> 2) Allocate Matrix
> 3) Close Axiom
> 4) display residual and virtural memory
>
> For example do this 5 times in a row, do you find that the
> total available memory is constantly decreasing?
> ...
>
> Could you describe
Hi,
> -Message d'origine-
> De : Page, Bill [mailto:[EMAIL PROTECTED]
> Envoyé : mercredi 22 juin 2005 01:11
> À : 'Vanuxem Grégory'
> Cc : axiom-developer@nongnu.org
> Objet : RE: [Axiom-developer] Memory leak in Axiom
>
>
> On Tuesday, June 21, 2005 3:43 PM Vanuxem Grégory wrote:
>
> > I
Hi,
> -Message d'origine-
> De : Page, Bill [mailto:[EMAIL PROTECTED]
> Envoyé : mercredi 22 juin 2005 01:11
> À : 'Vanuxem Grégory'
> Cc : axiom-developer@nongnu.org
> Objet : RE: [Axiom-developer] Memory leak in Axiom
>
>
> On Tuesday, June 21, 2005 3:43 PM Vanuxem Grégory wrote:
>
> > I
Page, Bill [EMAIL PROTECTED] wrote:
> Can \free and \bound names really be determined automatically?
It can be done in maple via the indets() command. I think the
equivalent in MMA is Variables[].
If you have an expression as a tree, one just needs to traverse it and
examine symbols therein.
--
On Tuesday, June 21, 2005 3:43 PM Vanuxem Grégory wrote:
> It seems that there is a memory leak in Axiom;
>
> Open a shell, type 'top' and observe residual and virtual memory.
>
> Open AXIOMsys and type
>
> new(1000,1000,0.0)$Matrix(SF);
>
> and repeat this action.
I can not reproduce this erro
On Tuesday, June 21, 2005 5:05 PM Bob McElrath
> Kai Oliver Kaminski [EMAIL PROTECTED] wrote:
>> What kind of dependency tracking would you need? Just within a
>> single page? For multiple pages? Send me use cases, tell me what
>> you need.
>
>I've been thinking about this a lot lately.
Although
Kai Oliver Kaminski [EMAIL PROTECTED] wrote:
> What kind of dependency tracking would you need? Just within a single
> page? For multiple pages? Send me use cases, tell me what you need.
I've been thinking about this a lot lately.
Mathematica seems to keep an array of input and output. (In[] an
Hi,
It seems that there is a memory leak in Axiom;
Open a shell, type 'top' and observe residual and virtual memory.
Open AXIOMsys
and type
new(1000,1000,0.0)$Matrix(SF);
and repeat this action.
A (1000,1000) C double float array takes 7.63 Mb.
If I alloc a contiguous storage memory arra
> current browser technology won't allow us to "extend" it in various ways
> (such as making one of the tabs be an axiom shell session). it won't
> read and write pamphlet files (inline latex, inline chunks). it won't
> allow drag-and-drop of pamphlets. it can't start or manage local programs.
Co
Changes
http://page.axiom-developer.org/zope/mathaction/176FactoredPolynomialsArentDifferentiatedCorrectly/diff
--
The mistake is in differentiate\$FR which currently reads::
differentiate(u:%, deriv: R -> R) ==
ans := deriv(unit u) * ((u exquo (fr := unit(u)::%))::%)
ans + fr * (
Changes
http://page.axiom-developer.org/zope/mathaction/176FactoredPolynomialsArentDifferentiatedCorrectly/diff
--
Severity: serious => critical
Status: open => fix proposed
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
___
Changes
http://page.axiom-developer.org/zope/mathaction/37CoAldorFileDoesNotWork/diff
--
Status: open => fix proposed
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer
Changes
http://page.axiom-developer.org/zope/mathaction/176FactoredPolynomialsArentDifferentiatedCorrectly/diff
--
??changed:
-It intends to use the formula
-
It intends to use the formula
$$\frac{d}{dx} f(x)) = \sum_{i=1}^n \frac{f(x)}{f_i(x)}\frac{d}{dx}f_i(x)$$
where
$$f(x)=\prod_{i=1}^n f
Changes
http://page.axiom-developer.org/zope/mathaction/GuessingFormulasForSequences/diff
--
??changed:
-Finally, please feel free to try this package in the SandBox! If you would
like to use
Finally, please feel free to try this package in the
"SandBox":SandBoxGuessingSequence! If you would li
Changes
http://page.axiom-developer.org/zope/mathaction/178LinearAgebraProblem/diff
--
Status: open => duplicate
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@nong
32 matches
Mail list logo