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 -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
