Following interpreter problem (?) occured today while I presented the concepts
of AXIOM to a class:
Fraction RADIX 2 does not work, although RADIX 2 should be equivalent to
Integer. Same result for BINARY!
FriCAS (AXIOM fork) Computer Algebra System
Version: FriCAS 1.1.4
Timestamp: Monday October 17, 2011 at 12:44:00
-----------------------------------------------------------------------------
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave FriCAS and return to shell.
-----------------------------------------------------------------------------
(1) -> )spool xxx
Starts dribbling to xxx (2012/10/4, 12:35:56).
(1) -> )sh Fraction
Fraction(S: IntegralDomain) is a domain constructor
Abbreviation for Fraction is FRAC
This constructor is exposed in this frame.
------------------------------- Operations --------------------------------
?*? : (%,S) -> % ?*? : (S,%) -> %
...
(1) -> RADIX 2 has IntegralDomain
(1) true
Type: Boolean
(2) -> a := 1/2
1
(2) -
2
Type: Fraction(Integer)
(3) -> F2 := Fraction RADIX 2
(3) Fraction(RadixExpansion(2))
Type: Type
(4) -> a :: F2
Fraction(RadixExpansion(2)) is not a valid type.
(4) -> )sh F2
Fraction(RadixExpansion(2)) is a domain constructor.
Abbreviation for Fraction is FRAC
This constructor is exposed in this frame.
------------------------------- Operations --------------------------------
?*? : (Fraction(Integer),%) -> % ?*? : (Integer,%) -> %
...
Mit freundlichen Grüßen
Johannes Grabmeier
Prof. Dr. Johannes Grabmeier
Köckstraße 1, D-94469 Deggendorf
Tel. +49-(0)-991-2979584, Tel. +49-(0)-171-5503789
Tel. +49-(0)-991-3615-100 (d), Fax: +49-(0)-1803-5518-17745
--
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.
