Hi Kurt
As FriCAS exercise of the day, I tried to understand the source of your bug but
the best I can do is a minimal example (vaguely related to the original one)
and similar errors.
I do not know what mean "non extending category" and "has no ..." compilation
messages but there were similar ones in the original version.
Hope not increasing the confusion ....
ric
Cumulative Statistics for Constructor SIunits
Time: 0.00 seconds
--------------non extending category----------------------
.. SIunits of cat
(CATEGORY |package|
(SIGNATURE |u|
((|List|
(|PhysicalUnitSystem|
(|::| (|construct| '|a| '|b| '|c|) (|List| (|Symbol|)))))))) has no
(|PhysicalUnit|) finalizing NRLIB SI
Processing SIunits for Browser database:
--->-->SIunits(constructor): Not documented!!!!
--->-->SIunits((u ((List (PhysicalUnitSystem (:: (construct (QUOTE a) (QUOTE b)
(QUOTE c)) (List (Symbol)))))))): Not documented!!!!
--->-->SIunits(): Missing Description
; compiling file "/data/devel/guida/WIP/fricas_learning/SI.NRLIB/SI.lsp"
(written 17 JUL 2018 04:37:23 PM):
; /data/devel/guida/WIP/fricas_learning/SI.NRLIB/SI.fasl written
; compilation finished in 0:00:00.005
------------------------------------------------------------------------
SIunits is now explicitly exposed in frame frame1
SIunits will be automatically loaded when needed from
/data/devel/guida/WIP/fricas_learning/SI.NRLIB/SI
(1) -> )system cat PhysicalUnitsSystem.spad
)abbrev category PUNIT PhysicalUnit
PhysicalUnit() : Category == with
coerce : % -> OutputForm
)abbrev domain PUSYS PhysicalUnitSystem
PhysicalUnitSystem(u:List Symbol) : Exports == Implementation where
Exports == PhysicalUnit with
baseUnits : () -> List %
Implementation == add
Rep:=FreeModule(Integer,OrderedVariableList(u))
baseUnits() == [ 0$Rep]
coerce(x)== coerce(x)$Rep
)abbrev package SI SIunits
SIunits : Exports == Implementation where
Exports == with
u : () -> List(PhysicalUnitSystem(['a,'b,'c]::List(Symbol)))
Implementation == PhysicalUnitSystem(['a,'b,'c]::List(Symbol)) add
u() == baseUnits()$(PhysicalUnitSystem(['a,'b,'c]::List(Symbol)))
(1) -> )show PUSYS
PhysicalUnitSystem(u: List(Symbol)) is a domain constructor
Abbreviation for PhysicalUnitSystem is PUSYS
This constructor is exposed in this frame.
─────────────────────────────── Operations ────────────────────────────────
baseUnits : () -> List(%) coerce : % -> OutputForm
(1) -> )show SI
SIunits is a package constructor
Abbreviation for SIunits is SI
This constructor is exposed in this frame.
─────────────────────────────── Operations ────────────────────────────────
>> Error detected within library code:
Improper script count in symbol
(1) -> u()$SI
LISP output:
()
>> Error detected within library code:
index out of range
(1) -> )show PUSYS
PhysicalUnitSystem(u: List(Symbol)) is a domain constructor
Abbreviation for PhysicalUnitSystem is PUSYS
This constructor is exposed in this frame.
─────────────────────────────── Operations ────────────────────────────────
baseUnits : () -> List(%) coerce : % -> OutputForm
(1) ->
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
