(1) ->  )sh compUtil
  compUtil(UT: VarCat)  is a package constructor
  Abbreviation for compUtil is COMPUTIL
  This constructor is not exposed in this frame.

The last line says it all.

Try

)expose COMPUTIL

then your

i::LU

will work.

Ralf

(4) -> )expose COMPUTIL
   compUtil is now explicitly exposed in frame frame1
(4) -> i::LU
util coerce rule SL1: Ski[I] = \v0.0

   (4)  "(\v0.v0)"
Type: Lambda(Untyped)

--
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.

Reply via email to