MathAction changed pages

[WorkShopRISC2008]

Tue, 22 Jul 2008 22:54:15 -0700

++added: "Program":http://portal.risc.uni-linz.ac.at/Members/hemmecke/aldoraxiom2008 The workshop starts on July 24, 2008 at 8:30 in the RISC seminar room. --removed: -Contributions - - If you would like to contribute a presentation to one of these topics or a -related one, please send a message to the organisers. -

[Source Repository]

Tue, 15 Jul 2008 07:30:44 -0700

++added: - "!MathAction Sources":MathActionRepository

[SandboxTypeDefinitions] domains and categories

Wed, 09 Jul 2008 09:17:50 -0700

++added: From BillPage Wed Jul 9 09:17:50 -0700 2008 From: Bill Page Date: Wed, 09 Jul 2008 09:17:50 -0700 Subject: domains and categories Message-ID: <20080709091750-0700@axiom-wiki.newsynthesis.org> *On Tue, Jul 8, 2008 at 3:06 PM Gabriel Dos Reis wrote:* I'll be using the word *specification* in an informal sense that I hope is clear from context. A **category** is a collection of specifications. A **domain** is a collection of implementations. An **object** is any computational values in an OpenAxiom program. An object has a representation given by a domain. An object 'O' is said to have type 'd' if 'd' implements the reprsentation for the object 'O'. A category constructor is a category-valued function, defined with the term 'Category' as its return type. A domain constructor is a domain-valued function, defined with a category as its return type. Category contructors and domain constructors may be parameterized by domains and categories. Furthermore, domains and categories have runtime representations, e.g. they are reflected as objects in OpenAxiom. In particular, domains objects have type 'Domain', and category objects have type 'Category'. And 'Domain' and 'Category' are indeed domains, because they implement specifications and provide object representations. I did not discuss the notion of **package**, as it is almost like a domain - it implements specifications - except that it does not provide object representation. -- Gaby

[OpenAxiom]

Tue, 08 Jul 2008 08:06:24 -0700

??changed: -friCAS version/fork. Other versions of OpenAxiom may also OpenAxiom version/fork. Other versions of OpenAxiom may also

[SandboxNullaryVsConstant] Constants compile in Open-Axiom

Mon, 07 Jul 2008 17:21:54 -0700

++added: From BillPage Mon Jul 7 17:21:54 -0700 2008 From: Bill Page Date: Mon, 07 Jul 2008 17:21:54 -0700 Subject: Constants compile in Open-Axiom Message-ID: <20080707172154-0700@axiom-wiki.newsynthesis.org> Try setting the version of Axiom to a recent version of OpenAxiom. Click 'edit' and set 'Axiom: Open-Axiom ...' But in the interpreter they still must be referenced like nullary operators.

[#429 Description of IndexedExponents in HyperDoc]

Fri, 04 Jul 2008 09:32:27 -0700

++added: From gdr Fri Jul 4 09:32:26 -0700 2008 From: gdr Date: Fri, 04 Jul 2008 09:32:26 -0700 Subject: Message-ID: <20080704093226-0700@axiom-wiki.newsynthesis.org> Status: fixed somewhere => closed this is OpenAxiom specific.

[#43 when is broken] `when' was discontinued from AXIOM

Fri, 04 Jul 2008 09:16:49 -0700

++added: From gdr Fri Jul 4 09:16:49 -0700 2008 From: gdr Date: Fri, 04 Jul 2008 09:16:49 -0700 Subject: `when' was discontinued from AXIOM Message-ID: <20080704091649-0700@axiom-wiki.newsynthesis.org> Status: need more info => rejected

[#428 Equation Domain coerce to OutputForm and Boolean] Fixed in OpenAxiom

Fri, 04 Jul 2008 09:10:59 -0700

++added: From gdr Fri Jul 4 09:10:59 -0700 2008 From: gdr Date: Fri, 04 Jul 2008 09:10:59 -0700 Subject: Fixed in OpenAxiom Message-ID: <20080704091059-0700@axiom-wiki.newsynthesis.org> Status: open => closed

[IntegerNumberSystem] documentation

Thu, 03 Jul 2008 06:30:11 -0700

??changed: - \begin{axiom} Integer has IntegerNumberSystem RomanNumeral has IntegerNumberSystem )show IntegerNumberSystem \end{axiom}

[FrontPageDiscussion] please add comments

Wed, 02 Jul 2008 18:41:00 -0700

??changed: -Please add comments here... Please add comments about FrontPage here...