Re: [open-axiom-help] PropositionalFormula and CCC
A system for computer algebra and symbolic mathematics
Brought to you by:
dos-reis
From: Martin B. <ax...@ma...> - 2011-10-23 17:00:41
|
On Sunday 23 Oct 2011 17:13:32 Gabriel Dos Reis wrote: > The operation 'constructor' does what its documentation says: > > ++ constructor(d) returns the domain constructor that is > ++ instantiated to the domain object `d'. > > Similarly, `reflect' does what its documentation says: > > ++ reify(d) returns the abstract syntax for the domain `x'. > > Similarly, the operation `reflect' does what its documentation says: > > ++ reflect cc returns the domain object designated by the > ++ ConstructorCall syntax `cc'. The constructor implied > ++ by `cc' must be known to the system since it is instantiated. > > Similarly, the operation `showSummary' does what its documentation says: > > ++ showSummary(d) prints out implementation detail information > ++ of domain `d'. Is it just me? Would anyone else like to look at: http://svn.open-axiom.org/viewvc/open- axiom/1.4.x/src/algebra/domain.spad.pamphlet?revision=2347&view=markup and say whether they would like to use/maintain/extend this code? Martin |