)
installed
What version of Axiom are you using? I think Axiom compiled with
newer versions of gcl should not have this problem.
Regards,
Bill Page.
___
Axiom-mail mailing list
Axiom-mail@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom
available
from the Start menu.
Regards,
Bill Page.
___
Axiom-mail mailing list
Axiom-mail@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-mail
hard.
I'll look at it.
Yes. That would me nice. :-)
Regards,
Bill Page.
___
Axiom-mail mailing list
Axiom-mail@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-mail
.
In (2) above, the reason that the first term is not expanded
further is that Axiom does not have any domain (as far as I
know) that has
ue r1 ue r1
- + -
r2 r3
as separate terms.
Regards,
Bill Page.
___
Axiom-mail
On March 26, 2007 6:07 PM Ondrej Certik wrote;
...
Bill Page wrote:
Yes, isn't that the way things go in computer algebra -
everyone seems to write their own? :-( That's a pity. If what
you really want to do is physics, then it's a trap that many
people have fallen into. It took me
algorthms (such as Martin Rubey's Guess package), but that it
would go even further, and have greater reach in the mathematical
community, with more comprehensive, and more easily accessible
help.
+1. I agree 100%.
Thank you for your comments.
Regards,
Bill Page
and other Axiom
publications.
If you have any questions or comments about this please
continue.
Regards,
Bill Page.
___
Axiom-mail mailing list
[EMAIL PROTECTED]
http://lists.nongnu.org/mailman/listinfo/axiom-mail
seriously, it is certainly necessary to start programming in
SPAD or Aldor.
In any case, I hope you stay with us,
Me too.
Regards,
Bill Page.
___
Axiom-mail mailing list
[EMAIL PROTECTED]
http://lists.nongnu.org/mailman/listinfo/axiom-mail
defintions of coerce, + and *. SPAD
tells me: Cannot pretend ...
I don't understand that. Perhaps you can see a way around it?
Regards,
Bill Page.
___
Axiom-mail mailing list
Axiom-mail@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-mail
have noticed before that Spad seems to treat this differently
than what I always expect but you seem to write it naturally. :-)
Now I can retire to sleep in peace.
Cheers,
Bill Page
___
Axiom-mail mailing list
Axiom-mail@nongnu.org
http
type is merely given by:
Rep := Union(MkInt(Integer), MkAdd(%,%), MkMul(%,%))
The definitions of MkAdd and MkMul as named types (domains) is
sufficient to avoid the problem that this form of 'Union' is not
disjunctive.
I have more to say later.
We're listening. :-)
Regards,
Bill Page
contributes greatly to this.
Regards,
Bill Page.
___
Axiom-mail mailing list
Axiom-mail@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-mail
Quoting Ralf Hemmecke [EMAIL PROTECTED]:
...
Bill Page wrote:
Ralf, these are just general comments about your approach and
aren't intended to be particularly critical.
Although I felt that it was the most critical reaction on one of my
mails that I have ever experienced from you, I know
other interface.
That is a step to avoid a lot of (if not all) mutual
recursion in the construction of the Axiom library.
I still think that is wishful thinking. :-(
Regards,
Bill Page.
___
Axiom-mail mailing list
Axiom-mail@nongnu.org
http
Quoting Ralf Hemmecke [EMAIL PROTECTED]:
On 05/09/2007 10:02 AM, Bill Page wrote:
...
MkInt is *not* a function which when given an Integer
returns something of type Expr. It is type *constructor*,
that is, when given 'Int' MkInt returns a subtype of Expr.
Before you criticize... I
. Right?
(You see, I am really just trying to convince myself by convincing
you... :-) Thank you for persisting in this discussion.
Regards,
Bill Page.
___
Axiom-mail mailing list
Axiom-mail@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom
Quoting Gabriel Dos Reis [EMAIL PROTECTED]:
On Wed, 9 May 2007, Bill Page wrote:
[...]
| ... in Haskell, by a kind of convenient abuse of notation
| (or polymorphism if you wish) 'MkInt' also denotes a
| function
|
| MkInt: Int - MkInt Int
|
| that creates an object of type
Type:
Enumeration(red,green,blue)
(4) -
--
Maybe there is something a little trashed in the databases?
Regards,
Bill Page.
___
Axiom-mail mailing list
Axiom-mail@nongnu.org
http://lists.nongnu.org
MHz P3 running Windows XP
and axiom-0.1.4.)
Regards,
Bill Page.
___
Axiom-mail mailing list
Axiom-mail@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-mail
On 6/13/07, Bill Page [EMAIL PROTECTED] wrote:
It turns out that Axiom's list data type is very slow and almost
all the time is spent building the list. You can avoid this by
preallocating an arrary of sufficient size. E.g.
(2) - for i in 1..2 repeat rlist(i-1):=1.0/i
they provide good examples for your students?
Regards,
Bill Page.
___
Axiom-mail mailing list
Axiom-mail@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-mail
that is
certain to no longer exist and then complain ... :-)
Let me know if this helps.
Regards,
Bill Page.
On 6/14/07, Alasdair McAndrew [EMAIL PROTECTED] wrote:
I've installed Axiom 0.1.4 on an oldish machine running Win 2000 Pro. It
starts and works fine, but when I switch users and try to start
to review
them in a little more depth later.
Regards,
Bill Page.
___
Axiom-mail mailing list
Axiom-mail@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-mail
.
Regards,
Bill Page.
On 7/10/07, Alasdair McAndrew wrote:
Err, no, I haven't written it up in pamphlet style at all... my version of
Axiom (Timestamp: Wednesday June 21, 2006 at 03:45:56) doesn't seem to come
with any pamphlets. The '*.spad.dvi files just contain the text of the
*.spad files
weakness in Axiom's system of coercions.
Don't you find a strong typed CAS is nice for mathematics
even if the final user is a little bored...
Francois, could you expand this comment? I am not sure what point you
are making when you say bored. :-)
Regards,
Bill Page
On 8/2/07, Oliver Kullmann [EMAIL PROTECTED] wrote:
I've read through the axiom-book, and it looked quite good, until
I realised that this anti-syntax like in python is used: That's
a show-stopper. In principle, of course, such indentation-games
should be only part of the user-interface, and
think that would be great and would be
immediately useful for the Axiom pamphlet files on the wiki.
Regards,
Bill Page.
___
Axiom-mail mailing list
Axiom-mail@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-mail
something that works.
Regards,
Bill Page.
___
Axiom-mail mailing list
Axiom-mail@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-mail
On 01 Nov 2007 12:54:00 -0500, Gabriel Dos Reis wrote:
Bill Page [EMAIL PROTECTED] writes:
| new sites now. They can be found at:
|
| http://axiom-wiki.newsynthesis.org
|
| and
|
| http://axiom-portal.newsynthesis.org
What will happen to the email [EMAIL PROTECTED]
Right now
and the link should be ok now.
Regards,
Bill Page.
___
Axiom-mail mailing list
Axiom-mail@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-mail
register at the new site:
http://axiom-portal.newsynthesis.org
and if necessary ask me for help in transferring the content.
Regards,
Bill Page.
___
Axiom-mail mailing list
Axiom-mail@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-mail
http://axiom-wiki.newsynthesis.org
http://axiom-developer.org
On 12/27/07, suzanne molnar [EMAIL PROTECTED] wrote:
How do I get a download of axiom?
___
Axiom-mail mailing list
Axiom-mail@nongnu.org
it is a bad choice you need to understand how Axiom assigns types
to various objects - this is very complicated and often quite
unexpected - even when it works. The problem is finding a good way to
write this that always works the way you expect.
Regards,
Bill Page
become degenerate (since nrows=ncols). It seems to me that
this is quite normal in the Axiom library.
Regards,
Bill Page.
___
Axiom-mail mailing list
Axiom-mail@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-mail
http://en.wikipedia.org/wiki/LLL_algorithm
On Wed, May 21, 2008 at 2:30 PM, Martin Rubey wrote:
Andreas Klein [EMAIL PROTECTED] writes:
Hello.
I hope this is the right address.
Has Axiom implemented the LLL-algorithm?
not yet, but it would be wonderful if you (or somebody) did. It would
==Example 2)
Regards,
Bill Page.
On Thu, May 29, 2008 at 8:29 PM, Alasdair McAndrew wrote:
Is there an easier way, in Axiom, of drawing two curves on the same set
of axes than with the getGraph, putGraph and makeViewport2D commands?
It would be nice (for me!) simply to be able to enter, say
draw
/msg00411.html
(I haven't tried the patch.)
2) Is it possible to configure hyperdoc so that a search can be initiated
simply by pressing return, rather than by clicking the Search link?
Probably a small programming change but what should happen if there is
more than one link on a page?
Regards,
Bill
) - expandPowers( %% 2)
(4) 0
Type: Expression Integer
-
Regards,
Bill Page.
___
Axiom-mail mailing list
Axiom-mail@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-mail
); _
binaryTree(lst.1)),_
is:
Check if the first item in lst is a List.
If it is, call 'buildTree' recursively with the value.
Otherwise call 'binaryTree' with the value.
Ref:
(4) - )show Any
(4) - )show SExpression
Regards,
Bill Page.
On Mon, Apr 6, 2009 at 9:55 PM, Simon Blomberg s.blombe
On Wed, Jun 3, 2009 at 10:20 AM, Martin Rubey wrote:
Bill Page writes:
Note also that
y^2+x
is not syntactically identical to the input
x+y^2
I wonder why FriCAS changes the order?
Because the semantics is the same.
Yes, thanks. Now I understand. In the expression:
(x+y^2
are in some sense cononical. But even these are only
cononical to the degree that the domain from which they are derived
has such properties. So it is not clear to me how one can hope to
reserve InputForm for only this use.
Regards,
Bill Page.
___
Axiom-mail
| On Thu, Jun 4, 2009 at 4:43 PM, Gabriel Dos Reis wrote:
| ...
| I would reserve the use of InputForm for syntatic canonical
| forms of mathematical objects.
|
| Bill Page wrote:
| Currently InputForm values can arise both from parsing of input
| strings and
On Thu, Jun 4, 2009 at 9
See:
https://www.researchgate.net/publication/220915895_Rule-Based_Simplification_in_Vector-Product_Spaces
There has been some work done on this subject in one of the Axiom forks:
-- Forwarded message --
From: someone someb...@bluewin.ch
Date: 27 October 2012 21:07
Subject: Re:
12
Type: Union(f1:
OrderedCompletion(Expression(Integer)),...)
Bill Page.
On 16 November 2015 at 19:39, Alasdair McAndrew <amc...@gmail.com> wrote:
> Here's a minimum (non)-working example: I have a function which returns a
> polynomial:
>
> mult(xs)==
I can't reproduce this with the following simple example. Could you be
more specific?
(1) -> outputFixed(2)
Type:
Void
(2) -> %pi::Float
(2) 3.14
Type:
Float
45 matches
Mail list logo
