[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.
Interesting.
-- Gaby
- Re: [Axiom-developer] pointers, (continued)
- Re: [Axiom-developer] pointers, Gabriel Dos Reis, 2009/11/09
- Re: [Axiom-developer] pointers, William Sit, 2009/11/10
- Re: [Axiom-developer] pointers, Waldek Hebisch, 2009/11/10
- Re: [Axiom-developer] pointers, William Sit, 2009/11/10
- Re: [Axiom-developer] pointers, Tim Daly, 2009/11/10
- Re: [Axiom-developer] pointers, Gabriel Dos Reis, 2009/11/10
- Re: [Axiom-developer] pointers, William Sit, 2009/11/11
- Re: [Axiom-developer] pointers,
Gabriel Dos Reis <=
- Re: [Axiom-developer] pointers, Bill Page, 2009/11/09
- Re: [Axiom-developer] pointers, Tim Daly, 2009/11/09
- Re: [Axiom-developer] pointers, Tim Daly, 2009/11/10
- Re: [Axiom-developer] pointers, Gabriel Dos Reis, 2009/11/10
[Axiom-developer] Function cache in Axiom, Tim Daly, 2009/11/15
Message not availableMessage not availableMessage not availableMessage not availableMessage not available[Axiom-developer] Function cache in Axiom (Memoizing), Tim Daly, 2009/11/18
[Axiom-developer] Re: Function cache in Axiom (Memoizing), Bertfried Fauser, 2009/11/19