[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] [Axiom-mail] Type of Expression Problem

From: Martin Rubey
Subject: [Axiom-developer] [Axiom-mail] Type of Expression Problem
Date: Sun, 13 Nov 2005 06:50:25 -0600

Hans Peter W�rmli <address@hidden> writes:

> but how then would you assert that something is in a Domain? I tried
> typeOf(3)=Integer
> but such a simple solution doesn't work.

You got a quite tricky question there, really. If you are doing something else
then trying to understand how axiom is doing things, it's very likely that you
are on the wrong track. What are you trying to accomplish?

As far as I know, typeOf is only defined in the Interpreter. The domain ANY
provides a function domainOf which returns an element of OutputForm.

You can sometimes test whether something is "retractable" to a given domain
using "retractIfCan"...


Axiom-mail mailing list

forwarded from

reply via email to

[Prev in Thread] Current Thread [Next in Thread]