axiom-developer
[Top][All Lists]

## [Axiom-developer] [AxiomInterface2] (new)

 From: Bill Page Subject: [Axiom-developer] [AxiomInterface2] (new) Date: Sat, 29 Jan 2005 22:51:19 -0600

How does the Any domain work?

\begin{axiom}
i: Integer := 1
a: Any := i::Any
dom a
obj a
j: Integer := a :: Integer
s: String := "I am a string"
b: Any := s::Any
dom b
obj b
k: Integer := b :: Integer
\end{axiom}

>From unknown Mon Jan 24 06:05:28 -0600 2005
From:
Date: Mon, 24 Jan 2005 06:05:28 -0600
Subject: mmph

Put some explanation first, then the Axiom command. Also since
the variable name 'k' was used previously on this page it is a
good idea to put the command
\begin{axiom}
)clear all
\end{axiom}
\begin{axiom}
((x + c)^2 + (k / (x + c))^2)/(x^2 + 1/x^2)
\end{axiom}

>From unknown Mon Jan 24 06:07:08 -0600 2005
From:
Date: Mon, 24 Jan 2005 06:07:08 -0600
Subject: again

Again, it is important that the first line of your reply not be \\begin{axiom}
\begin{axiom}
((x + c)**2 + (k / (x + c))**2)/(x**2 + 1/x**2)
\end{axiom}

>From unknown Mon Jan 24 06:09:12 -0600 2005
From:
Date: Mon, 24 Jan 2005 06:09:12 -0600
Subject: simplify?

This was ok because the first line was a blank line.

\begin{axiom}
simplify(((x + c)**2 + (k / (x + c))**2)/(x**2 + 1/x**2))
\end{axiom}

>From unknown Mon Jan 24 06:33:12 -0600 2005
From:
Date: Mon, 24 Jan 2005 06:33:12 -0600
Subject: solve?

I wonder what you are trying to do here?
\begin{axiom}
solve((((x + c)**2 + (k / (x + c))**2)/(x**2 + 1/x**2)), x + c = x * sqrt(k))
\end{axiom}

>From unknown Wed Jan 26 15:58:47 -0600 2005
From:
Date: Wed, 26 Jan 2005 15:58:47 -0600
Subject: test

solve(A+2=2)

>From unknown Wed Jan 26 16:00:23 -0600 2005
From:
Date: Wed, 26 Jan 2005 16:00:23 -0600
Subject: test2

\begin{axiom}
solve(A+2=4)
\end{axiom}

>From unknown Wed Jan 26 16:01:35 -0600 2005
From:
Date: Wed, 26 Jan 2005 16:01:35 -0600
Subject: test3

Computing such a big number on a meer 21th century computer is
not a good idea! ::
!\begin{axiom}
2^500000000000000000000000000000
\end{axiom}

>From unknown Wed Jan 26 16:07:55 -0600 2005
From:
Date: Wed, 26 Jan 2005 16:07:55 -0600
Subject: test4

...
\begin{axiom}
solve(foo+bar+baz+xyzzy = foo*bar*baz*xyzzy)
\end{axiom}

>From unknown Wed Jan 26 16:11:36 -0600 2005
From:
Date: Wed, 26 Jan 2005 16:11:36 -0600
Subject: test5

...
\begin{axiom}
expand((a+b)^2)
solve(a+b+c+d = a*b*c*d)
\end{axiom}

>From unknown Wed Jan 26 16:19:09 -0600 2005
From:
Date: Wed, 26 Jan 2005 16:19:09 -0600
Subject: test6

...
\begin{axiom}
solve(1+x=3, x)
\end{axiom}

>From unknown Wed Jan 26 16:21:05 -0600 2005
From:
Date: Wed, 26 Jan 2005 16:21:05 -0600
Subject: test7

...
\begin{axiom}
solve(a+b+c+d=a*b*c*d, [a, b, c, d])
\end{axiom}

>From unknown Fri Jan 28 14:06:08 -0600 2005
From:
Date: Fri, 28 Jan 2005 14:06:08 -0600
Subject:

integrate(exp(-d^2/2^l),d=0..infinity)
\begin{axiom}
integrate(exp(-d^2/2^l),d=0..infinity)
\end{axiom}

>From unknown Fri Jan 28 14:07:54 -0600 2005
From:
Date: Fri, 28 Jan 2005 14:07:54 -0600
Subject:

integrate(exp(-d^2/2^l),d)
\begin{axiom}
integrate(exp(-d^2/2^l),d)
\end{axiom}

>From unknown Fri Jan 28 14:10:23 -0600 2005
From:
Date: Fri, 28 Jan 2005 14:10:23 -0600
Subject: TEST

exp(-x^2/2^l)
\begin{axiom}
exp(-x^2/2^l)
integrate(%,x)
\end{axiom}

>From unknown Fri Jan 28 14:10:54 -0600 2005
From:
Date: Fri, 28 Jan 2005 14:10:54 -0600
Subject:

exp(-x^2)
\begin{axiom}
exp(-x^2)
integrate(%,x)
\end{axiom}

>From unknown Fri Jan 28 14:11:07 -0600 2005
From:
Date: Fri, 28 Jan 2005 14:11:07 -0600
Subject:

e^(-x^2)
\begin{axiom}
e^(-x^2)
integrate(%,x)
\end{axiom}

>From unknown Fri Jan 28 14:12:53 -0600 2005
From:
Date: Fri, 28 Jan 2005 14:12:53 -0600
Subject:

2*x/sin(x)^2
\begin{axiom}
2*x/sin(x)^2
integrate(%,x)
\end{axiom}

>From unknown Fri Jan 28 14:13:27 -0600 2005
From:
Date: Fri, 28 Jan 2005 14:13:27 -0600
Subject:

'integrate(4x^2,x)' is incorrect. Multiplication must be written
explicitly with '*'
\begin{axiom}
integrate(4*x^2,x)
\end{axiom}

>From BobMcElrath Fri Jan 28 14:15:59 -0600 2005
From: Bob McElrath
Date: Fri, 28 Jan 2005 14:15:59 -0600
Subject:

What's going on with the wiki interface?  Somebody is playing with it,
but it is generating a ton of latex errors.  Several of the integrals
they are trying give "failed" when I run it by hand.

> \begin{axiom}
> integrate(4x^2,x);
> \end{axiom}
> --