[Top][All Lists]

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

Re: [Axiom-developer] pointers

From: Gabriel Dos Reis
Subject: Re: [Axiom-developer] pointers
Date: Tue, 10 Nov 2009 15:19:34 -0600

On Tue, Nov 10, 2009 at 10:45 AM, William Sit <address@hidden> wrote:
> Gabriel:
> Thanks for the response. Your script shows how to get the parameters, not
> the constructor. I do not have OpenAxiom installed (sorry). The question is
> whether I can test that the constructor is Fraction, or otherwise (like
> FiniteField) when the domain belongs to the category Field.

You can get the constructors too

(1) -> constructor Fraction Integer

   (1)  Fraction
                                                      Type: DomainConstructor
(2) -> constructor Integer

   (2)  Integer
                                                      Type: DomainConstructor
(3) -> constructor Field

   (3)  Field
                                                    Type: CategoryConstructor

There is a prepackaged Windows binary for OpenAxiom from the download
area and it can co-exist with any other AXIOM flavour.

Category constructors and domain constructors satisfy SetCategory:

(4) -> DomainConstructor has SetCategory

   (4)  true
                                                                Type: Boolean
(5) -> CategoryConstructor has SetCategory

   (5)  true
                                                                Type: Boolean

so, you can use the equality comparator.

> I came across this requirement in algorithms that may take advantage of
> special knowledge of how the coefficient field is constructed.


-- Gaby

reply via email to

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