Waldek,
Thanks for the new version of FriCAS I look forward to using it.
Why are the coerce functions in compUtil not seen but if I expose my
locally compiled version of exact copy of the code then it is seen?
See listing below. (note: STYLE-WARNINGs have returned as in FriCAS
1.1.1)
Martin
Checking for foreign routines
AXIOM="/usr/local/lib/fricas/target/x86_64-unknown-linux"
spad-lib="/usr/local/lib/fricas/target/x86_64-unknown-linux/lib/
libspad.so"
foreign routines found
STYLE-WARNING: Undefined alien: "gmp_sb_isqrt"
STYLE-WARNING: Undefined alien: "gmp_sb_mul"
STYLE-WARNING: Undefined alien: "gmp_sb_gcd"
STYLE-WARNING: Undefined alien: "gmp_sb_div_rem"
openServer result 0
FriCAS (AXIOM fork) Computer Algebra System
Version: FriCAS 1.1.3
Timestamp: Thursday June 23, 2011 at 15:43:32
-----------------------------------------------------------------------------
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) -> )sh compUtil
compUtil(UT: VarCat) is a package constructor
Abbreviation for compUtil is COMPUTIL
This constructor is not exposed in this frame.
------------------------------- Operations
--------------------------------
coerce : SKICombinators(UT) -> Lambda(UT)
coerce : Lambda(UT) -> SKICombinators(UT)
coerce : SKICombinators(UT) -> ILogic
(1) -> SU := SKICombinators Untyped
(1) SKICombinators(Untyped)
Type: Type
(2) -> LU := Lambda Untyped
(2) Lambda(Untyped)
Type: Type
(3) -> i := I()$SU
(3) "I"
Type:
SKICombinators(Untyped)
(4) ->
i::LU
Cannot convert from type SKICombinators(Untyped) to
Lambda(Untyped)
for
value
"I"
(4) -> )library
COMPUTIL
compUtil is now explicitly exposed in frame
frame1
compUtil will be automatically loaded when needed
from
/home/martin/COMPUTIL.NRLIB/
COMPUTIL
(4) ->
i::LU
util coerce rule SL1: Ski[I] =
\v0.0
(4)
"(\v0.v0)"
Type:
Lambda(Untyped)
(5) ->
--
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.
