I just tried it. Working well up to:
...
"ComplexRootPackage"
"ComplexTrigonometricManipulations"
"compUtil"
\x
>> Error detected within library code:
parse_macro: unknown macro name
The html (source) output so far is quite terse, no doubt.
BTW, "compUtil.html" has been written but is empty.
On Wednesday, 25 December 2024 at 05:58:06 UTC+1 Waldek Hebisch wrote:
> On Mon, Dec 02, 2024 at 12:38:14AM +0100, Waldek Hebisch wrote:
> > I have tried to modify Ralf's code
> > to directly generate HTML, skipping the .rst stage. You
> > can see proof of concept code at:
> >
> > http://wiki.fricas.org/public/api2.spad
>
> At the same place there is now new, better version. Docstrings,
> condition and navgation links to defining place are there.
> I added also some escaping of special HTML characters.
> Even without escaping the characters appeared fine in Lynx,
> but possibly without escaping other browsers could fail or
> show wrong thing.
>
> Checking of docstrings is quite picky, it will signal error
> on anything unexpected. In a sense main addition is hopefully
> reasonably general parser for TeX/LaTeX files. However, it
> has table of known TeX macros an currently reject any unknown
> macro. It the trunk I have corrected errors and irregulrities
> discoverd by docstring checks, so it should work with the trunk.
> But older version are likely to fail.
>
> This version has much less formatting HTML and navigation
> links than output from sphinx+api.spad (on my machine total
> size from sphinx+api.spad is 45834587 characters while size
> from api2.spad is 15390243). However, adding extra stuff now
> should be much easier than what is already done.
>
> > If you want to try this, first generate 'abbrev-lines.list'
> > (you can take it from documentation build), then compile
> > 'api.spad' from 'src/doc', then compile 'api2.spad' and
> > at FriCAS prompt issue
> >
> > documentAll("abbrev-lines.list")
>
> The same with this version.
>
> --
> Waldek Hebisch
>
--
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/f2dd57f9-6ee4-4bd9-b8a4-b488538ecd76n%40googlegroups.com.
This shell runs operating system processes.
Press %<TAB> to list built-in commands.
Run built-in with --help argument to get a brief usage message.
Run %help to view Console plugin online help.
Errors generated by compilers and some other programs are listed
for easy one-click access in the 'Plugins->Error List->Error List'
window.
~/Desktop/work/spad> Checking for foreign routines
FRICAS="/home/kfp/apps/lib/fricas/target/x86_64-linux-gnu"
spad-lib="/home/kfp/apps/lib/fricas/target/x86_64-linux-gnu/lib/libspad.so"
foreign routines found
openServer result -2
FriCAS Computer Algebra System
Version: FriCAS 2024-04-15 built with sbcl 2.2.9.debian
Timestamp: Wed Apr 24 04:36:24 PM CEST 2024
-----------------------------------------------------------------------------
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave FriCAS and return to shell.
-----------------------------------------------------------------------------
Function declaration sixel : TexFormat -> Void has been added to
workspace.
Compiling FriCAS source code from file
/home/kfp/Desktop/work/spad/texscan.spad using old system
compiler.
Compiling FriCAS source code from file
/home/kfp/Desktop/work/spad/api.spad using old system compiler.
SOPS abbreviates package SExpressionOperations
------------------------------------------------------------------------
initializing NRLIB SOPS for SExpressionOperations
compiling into NRLIB SOPS
processing macro definition TRUE ==> pretend(@(true,Boolean),SExpression)
compiling exported true : () -> SExpression
SOPS;true;Se;1 is replaced by QUOTET
Time: 0 SEC.
compiling exported true? : SExpression -> Boolean
Time: 0 SEC.
compiling exported sx0 : () -> SExpression
Time: 0 SEC.
compiling exported sx1 : () -> SExpression
Time: 0 SEC.
compiling exported sxATTRIBUTE : () -> SExpression
Time: 0 SEC.
compiling exported sxCATEGORY : () -> SExpression
Time: 0 SEC.
compiling exported sxColon : () -> SExpression
Time: 0 SEC.
compiling exported sxconstant : () -> SExpression
Time: 0 SEC.
compiling exported sxconstructor : () -> SExpression
Time: 0 SEC.
compiling exported sxDollar : () -> SExpression
Time: 0 SEC.
compiling exported sxhas : () -> SExpression
Time: 0 SEC.
compiling exported sxIF : () -> SExpression
Time: 0 SEC.
compiling exported sxJoin : () -> SExpression
Time: 0 SEC.
compiling exported sxMapping : () -> SExpression
Time: 0 SEC.
compiling exported sxnoBranch : () -> SExpression
Time: 0 SEC.
compiling exported sxOne : () -> SExpression
Time: 0 SEC.
compiling exported sxPercent : () -> SExpression
Time: 0 SEC.
compiling exported sxPercentPercent : () -> SExpression
Time: 0 SEC.
compiling exported sxPROGN : () -> SExpression
Time: 0 SEC.
compiling exported sxSIGNATURE : () -> SExpression
Time: 0 SEC.
compiling exported sxType : () -> SExpression
Time: 0 SEC.
compiling exported sxZero : () -> SExpression
Time: 0 SEC.
compiling exported cons : (SExpression,SExpression) -> SExpression
Time: 0 SEC.
compiling exported has? : (SExpression,SExpression) -> SExpression
Time: 0 SEC.
compiling exported toString : SExpression -> String
Time: 0.02 SEC.
(time taken in buildFunctor: 132)
Time: 0 SEC.
Cumulative Statistics for Constructor SExpressionOperations
Time: 0.04 seconds
finalizing NRLIB SOPS
Processing SExpressionOperations for Browser database:
--------constructor---------
--------(true ((SExpression)) constant)---------
--->-->SExpressionOperations((true ((SExpression)) constant)): Improper initial operator in comments: is
"\\spad{true} is the Lisp\\spad{'s} \\spad{T} value as an SExpression."
--------(true? ((Boolean) (SExpression)))---------
--------(cons ((SExpression) (SExpression) (SExpression)))---------
--------(has? ((SExpression) (SExpression) (SExpression)))---------
--------(toString ((String) (SExpression)))---------
--->-->SExpressionOperations((sx0 ((SExpression)) constant)): Not documented!!!!
--->-->SExpressionOperations((sx1 ((SExpression)) constant)): Not documented!!!!
--->-->SExpressionOperations((sxATTRIBUTE ((SExpression)) constant)): Not documented!!!!
--->-->SExpressionOperations((sxCATEGORY ((SExpression)) constant)): Not documented!!!!
--->-->SExpressionOperations((sxColon ((SExpression)) constant)): Not documented!!!!
--->-->SExpressionOperations((sxconstant ((SExpression)) constant)): Not documented!!!!
--->-->SExpressionOperations((sxconstructor ((SExpression)) constant)): Not documented!!!!
--->-->SExpressionOperations((sxDollar ((SExpression)) constant)): Not documented!!!!
--->-->SExpressionOperations((sxhas ((SExpression)) constant)): Not documented!!!!
--->-->SExpressionOperations((sxIF ((SExpression)) constant)): Not documented!!!!
--->-->SExpressionOperations((sxJoin ((SExpression)) constant)): Not documented!!!!
--->-->SExpressionOperations((sxMapping ((SExpression)) constant)): Not documented!!!!
--->-->SExpressionOperations((sxnoBranch ((SExpression)) constant)): Not documented!!!!
--->-->SExpressionOperations((sxOne ((SExpression)) constant)): Not documented!!!!
--->-->SExpressionOperations((sxPercent ((SExpression)) constant)): Not documented!!!!
--->-->SExpressionOperations((sxPercentPercent ((SExpression)) constant)): Not documented!!!!
--->-->SExpressionOperations((sxPROGN ((SExpression)) constant)): Not documented!!!!
--->-->SExpressionOperations((sxSIGNATURE ((SExpression)) constant)): Not documented!!!!
--->-->SExpressionOperations((sxType ((SExpression)) constant)): Not documented!!!!
--->-->SExpressionOperations((sxZero ((SExpression)) constant)): Not documented!!!!
; compiling file "/home/kfp/Desktop/work/spad/SOPS.NRLIB/SOPS.lsp" (written 25 DEC 2024 01:14:05 PM):
; file: /home/kfp/Desktop/work/spad/SOPS.NRLIB/SOPS.lsp
; in: SDEFUN |SOPS;true;Se;1|
; (BOOT::SDEFUN BOOT::|SOPS;true;Se;1| ((BOOT::% (BOOT::|SExpression|))) 'T)
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|SOPS;true;Se;1|
; (BOOT::%)
; (BLOCK BOOT::|SOPS;true;Se;1| 'T))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
; in: SDEFUN |SOPS;has?;3Se;24|
; (BOOT::SDEFUN BOOT::|SOPS;has?;3Se;24|
; ((BOOT::|domainform| (BOOT::|SExpression|))
; (BOOT::|catform| (BOOT::|SExpression|))
; (BOOT::% (BOOT::|SExpression|)))
; (BOOT::|HasCategory| (EVAL BOOT::|domainform|) BOOT::|catform|))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|SOPS;has?;3Se;24|
; (BOOT::|domainform| BOOT::|catform| BOOT::%)
; (BLOCK BOOT::|SOPS;has?;3Se;24|
; (BOOT::|HasCategory| (EVAL BOOT::|domainform|) BOOT::|catform|)))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
;
; compilation unit finished
; caught 2 STYLE-WARNING conditions
; wrote /home/kfp/Desktop/work/spad/SOPS.NRLIB/SOPS.fasl
; compilation finished in 0:00:00.053
------------------------------------------------------------------------
SExpressionOperations is now explicitly exposed in frame initial
SExpressionOperations will be automatically loaded when needed from
/home/kfp/Desktop/work/spad/SOPS.NRLIB/SOPS
LITFORM abbreviates domain LiteralForm
------------------------------------------------------------------------
initializing NRLIB LITFORM for LiteralForm
compiling into NRLIB LITFORM
****** Domain: S already in scope
processing macro definition Rep ==> Record(positive: Boolean,elem: S)
compiling exported positive : S -> %
Time: 0 SEC.
compiling exported negative : S -> %
LITFORM;negative;S%;2 is replaced by CONSs
Time: 0 SEC.
compiling exported positive? : % -> Boolean
LITFORM;positive?;%B;3 is replaced by QCAR
Time: 0 SEC.
compiling exported element : % -> S
LITFORM;element;%S;4 is replaced by QCDR
Time: 0 SEC.
compiling exported complement : % -> %
Time: 0 SEC.
compiling exported = : (%,%) -> Boolean
Time: 0 SEC.
compiling exported coerce : % -> OutputForm
Time: 0 SEC.
compiling exported hashUpdate! : (HashState,%) -> HashState
Time: 0 SEC.
(time taken in buildFunctor: 175)
Time: 0 SEC.
Cumulative Statistics for Constructor LiteralForm
Time: 0 seconds
finalizing NRLIB LITFORM
Processing LiteralForm for Browser database:
--------constructor---------
--------(positive (% S))---------
--------(negative (% S))---------
--------(positive? ((Boolean) %))---------
--------(element (S %))---------
--------(complement (% %))---------
; compiling file "/home/kfp/Desktop/work/spad/LITFORM.NRLIB/LITFORM.lsp" (written 25 DEC 2024 01:14:05 PM):
; file: /home/kfp/Desktop/work/spad/LITFORM.NRLIB/LITFORM.lsp
; in: SDEFUN |LITFORM;positive;S%;1|
; (BOOT::SDEFUN BOOT::|LITFORM;positive;S%;1|
; ((BOOT::|s| (BOOT::S)) (BOOT::% (BOOT::%))) (CONS 'T BOOT::|s|))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|LITFORM;positive;S%;1|
; (BOOT::|s| BOOT::%)
; (BLOCK BOOT::|LITFORM;positive;S%;1| (CONS 'T BOOT::|s|)))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
; in: SDEFUN |LITFORM;negative;S%;2|
; (BOOT::SDEFUN BOOT::|LITFORM;negative;S%;2|
; ((BOOT::|s| (BOOT::S)) (BOOT::% (BOOT::%)))
; (CONS NIL BOOT::|s|))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|LITFORM;negative;S%;2|
; (BOOT::|s| BOOT::%)
; (BLOCK BOOT::|LITFORM;negative;S%;2| (CONS NIL BOOT::|s|)))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
; in: SDEFUN |LITFORM;positive?;%B;3|
; (BOOT::SDEFUN BOOT::|LITFORM;positive?;%B;3|
; ((BOOT::|l| (BOOT::%)) (BOOT::% (BOOT::|Boolean|)))
; (BOOT::QCAR BOOT::|l|))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|LITFORM;positive?;%B;3|
; (BOOT::|l| BOOT::%)
; (BLOCK BOOT::|LITFORM;positive?;%B;3| (BOOT::QCAR BOOT::|l|)))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
; in: SDEFUN |LITFORM;element;%S;4|
; (BOOT::SDEFUN BOOT::|LITFORM;element;%S;4|
; ((BOOT::|l| (BOOT::%)) (BOOT::% (BOOT::S)))
; (BOOT::QCDR BOOT::|l|))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|LITFORM;element;%S;4|
; (BOOT::|l| BOOT::%)
; (BLOCK BOOT::|LITFORM;element;%S;4| (BOOT::QCDR BOOT::|l|)))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
;
; compilation unit finished
; caught 4 STYLE-WARNING conditions
; wrote /home/kfp/Desktop/work/spad/LITFORM.NRLIB/LITFORM.fasl
; compilation finished in 0:00:00.028
------------------------------------------------------------------------
LiteralForm is now explicitly exposed in frame initial
LiteralForm will be automatically loaded when needed from
/home/kfp/Desktop/work/spad/LITFORM.NRLIB/LITFORM
DNF abbreviates domain DisjunctiveNormalForm
------------------------------------------------------------------------
initializing NRLIB DNF for DisjunctiveNormalForm
compiling into NRLIB DNF
****** Domain: S already in scope
importing SExpressionOperations
processing macro definition L ==> LiteralForm S
processing macro definition H ==> XHashTable(S,Boolean)
processing macro definition Rep ==> List XHashTable(S,Boolean)
compiling exported true : () -> %
Time: 0 SEC.
compiling exported false : () -> %
DNF;false;%;2 is replaced by
Time: 0 SEC.
compiling local false? : % -> Boolean
DNF;false? is replaced by NULL
Time: 0 SEC.
compiling local true? : % -> Boolean
processing macro definition z ==> pretend(@(x,%),List XHashTable(S,Boolean))
Time: 0 SEC.
compiling exported = : (%,%) -> Boolean
processing macro definition asSet z ==> (Sel (Set (XHashTable S (Boolean))) set) pretend(@(z,%),List XHashTable(S,Boolean))
Time: 0 SEC.
compiling exported coerce : % -> OutputForm
processing macro definition s z ==> ::(::(z,Symbol),OutputForm)
processing macro definition o z ==> ::(z,OutputForm)
Time: 0 SEC.
compiling exported literal : (Boolean,S) -> %
Time: 0 SEC.
compiling exported coerce : LiteralForm S -> %
Time: 0 SEC.
compiling exported coerce : S -> %
Time: 0 SEC.
compiling local literalSet : XHashTable(S,Boolean) -> Set LiteralForm S
Time: 0 SEC.
compiling exported coerce : % -> Set Set LiteralForm S
Time: 0 SEC.
compiling local complement : XHashTable(S,Boolean) -> %
Time: 0 SEC.
compiling exported ~ : % -> %
Time: 0 SEC.
compiling local subset? : (XHashTable(S,Boolean),XHashTable(S,Boolean)) -> Boolean
Time: 0.01 SEC.
compiling local orComplement : (XHashTable(S,Boolean),XHashTable(S,Boolean)) -> Union(S,failed)
Time: 0.01 SEC.
compiling local orClause : (XHashTable(S,Boolean),%) -> %
Time: 0 SEC.
compiling exported \/ : (%,%) -> %
Time: 0 SEC.
compiling local union : (XHashTable(S,Boolean),XHashTable(S,Boolean)) -> XHashTable(S,Boolean)
Time: 0 SEC.
compiling local andUnion : (XHashTable(S,Boolean),XHashTable(S,Boolean)) -> %
Time: 0 SEC.
compiling exported /\ : (%,%) -> %
Time: 0 SEC.
(time taken in buildFunctor: 545)
Time: 0 SEC.
Warnings:
[1] orComplement: n has no value
[2] orComplement: s has no value
Cumulative Statistics for Constructor DisjunctiveNormalForm
Time: 0.09 seconds
finalizing NRLIB DNF
Processing DisjunctiveNormalForm for Browser database:
--------constructor---------
--------(true (%) constant)---------
--->-->DisjunctiveNormalForm((true (%) constant)): Improper initial operator in comments: is
"\\spad{true} is a logical constant."
--------(false (%) constant)---------
--->-->DisjunctiveNormalForm((false (%) constant)): Improper initial operator in comments: is
"\\spad{false} is a logical constant."
--------(coerce (% S))---------
--------(coerce (% (LiteralForm S)))---------
--------(literal (% (Boolean) S))---------
--------(coerce ((Set (Set (LiteralForm S))) %))---------
; compiling file "/home/kfp/Desktop/work/spad/DNF.NRLIB/DNF.lsp" (written 25 DEC 2024 01:14:05 PM):
; file: /home/kfp/Desktop/work/spad/DNF.NRLIB/DNF.lsp
; in: SDEFUN |DNF;false;%;2|
; (BOOT::SDEFUN BOOT::|DNF;false;%;2| ((BOOT::% (BOOT::%))) NIL)
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|DNF;false;%;2|
; (BOOT::%)
; (BLOCK BOOT::|DNF;false;%;2| NIL))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
; in: SDEFUN |DNF;false?|
; (BOOT::SDEFUN BOOT::|DNF;false?|
; ((BOOT::|x| (BOOT::%)) (BOOT::% (BOOT::|Boolean|)))
; (NULL BOOT::|x|))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|DNF;false?|
; (BOOT::|x| BOOT::%)
; (BLOCK BOOT::|DNF;false?| (NULL BOOT::|x|)))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
;
; compilation unit finished
; caught 2 STYLE-WARNING conditions
; wrote /home/kfp/Desktop/work/spad/DNF.NRLIB/DNF.fasl
; compilation finished in 0:00:00.091
------------------------------------------------------------------------
DisjunctiveNormalForm is now explicitly exposed in frame initial
DisjunctiveNormalForm will be automatically loaded when needed from
/home/kfp/Desktop/work/spad/DNF.NRLIB/DNF
CDBTOOL abbreviates package ConstructorDataBaseTools
------------------------------------------------------------------------
initializing NRLIB CDBTOOL for ConstructorDataBaseTools
compiling into NRLIB CDBTOOL
importing SExpressionOperations
importing DisjunctiveNormalForm SExpression
processing macro definition G(x,y) ==> @((Sel Lisp get_database)(x,@(convert ::(y,Symbol),SExpression)),SExpression)
compiling local normalize : (SExpression,SExpression) -> SExpression
Time: 0 SEC.
compiling local if2cond : SExpression -> XHashTable(SExpression,DisjunctiveNormalForm SExpression)
Time: 0.02 SEC.
compiling local withcatconds : SExpression -> XHashTable(SExpression,DisjunctiveNormalForm SExpression)
Time: 0 SEC.
compiling local catconds : SExpression -> XHashTable(SExpression,DisjunctiveNormalForm SExpression)
Time: 0 SEC.
compiling exported constructorKind : String -> String
Time: 0 SEC.
compiling exported argumentIdentifiers : String -> List SExpression
Time: 0 SEC.
compiling exported argumentTypes : String -> List SExpression
Time: 0 SEC.
compiling exported constructorCategory : String -> XHashTable(SExpression,DisjunctiveNormalForm SExpression)
Time: 0 SEC.
compiling exported documentation : String -> Record(docstr: String,cds: XHashTable(SExpression,String))
Time: 0.01 SEC.
compiling exported replaceArguments : (SExpression,List SExpression) -> SExpression
Time: 0 SEC.
(time taken in buildFunctor: 263)
Time: 0 SEC.
Warnings:
[1] documentation: n has no value
[2] documentation: ds has no value
Cumulative Statistics for Constructor ConstructorDataBaseTools
Time: 0.05 seconds
finalizing NRLIB CDBTOOL
Processing ConstructorDataBaseTools for Browser database:
--------constructor---------
--------(constructorCategory ((XHashTable (SExpression) (DisjunctiveNormalForm (SExpression))) (String)))---------
--->-->ConstructorDataBaseTools((constructorCategory ((XHashTable (SExpression) (DisjunctiveNormalForm (SExpression))) (String)))): Missing right pren
"\\spad{constructorCategory(s)} returns the exports of a constructor as a hash table with keys being the exported expression and value being the condition under which the export happens. Only those exports appear in the hash table that are explicitly given in the definition of the constructor. In case \\spad{s} is a category that is defined like Cat: Category \\spad{==} Join(...) with ... then the result stands for the right-hand side. If \\spad{s} is a domain or package that is defined like Dom: \\spad{C} with ... \\spad{==} ... then the result stands for the part \\spad{\"C} with ...\". Exports can be considered to be a list of categories and signatures together with the respective condition that must hold,{} \\spadignore{i.e.} we return a \"list of pairs\". The first entry of the pair (\\spadignore{i.e.} the hash table key) is the \\spad{s}-expression of a category name with parameters,{} \\spadignore{e.g.} \"(PolynomialCategory \\spad{#1} (IndexedExponents (Symbol))\" or a signature,{} \\spadignore{e.g.} \"(SIGNATURE integrate (\\% \\% (Symbol)))\". The second entry of the pair (\\spadignore{i.e.} the hash table value for the above key) is the condition that must be fulfilled for the first part to be exported. Unconditioned exports have the \\spad{DNF} value \\spad{true} as condition. Basic Conditions look often like \"(has \\spad{#1} (Algebra (Fraction (Integer))))\" or are negations or conjunctions or disjunctions of such forms,{} see DisjunctiveNormalForm."
--------(documentation ((Record (: docstr (String)) (: cds (XHashTable (SExpression) (String)))) (String)))---------
--------(constructorKind ((String) (String)))---------
--------(argumentIdentifiers ((List (SExpression)) (String)))---------
--------(argumentTypes ((List (SExpression)) (String)))---------
--------(replaceArguments ((SExpression) (SExpression) (List (SExpression))))---------
; compiling file "/home/kfp/Desktop/work/spad/CDBTOOL.NRLIB/CDBTOOL.lsp" (written 25 DEC 2024 01:14:05 PM):
; file: /home/kfp/Desktop/work/spad/CDBTOOL.NRLIB/CDBTOOL.lsp
; in: SDEFUN |CDBTOOL;normalize|
; (BOOT::SDEFUN BOOT::|CDBTOOL;normalize|
; ((BOOT::|x| (BOOT::|SExpression|))
; (BOOT::|s| (BOOT::|SExpression|))
; (BOOT::% (BOOT::|SExpression|)))
; (BOOT::SPROG
; ((BOOT::|toSymbols| (BOOT::|SExpression|))
; (BOOT::|fromSymbols| (BOOT::|SExpression|)))
; (BOOT::SEQ
; (BOOT::LETT BOOT::|fromSymbols|
; (BOOT::SPADCALL # BOOT::|$TriangleVariableList|
; #))
; (BOOT::LETT BOOT::|toSymbols|
; (BOOT::SPADCALL # BOOT::|$FormalMapVariableList|
; #))
; (BOOT::EXIT (SUBLIS # BOOT::|s|)))))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|CDBTOOL;normalize|
; (BOOT::|x| BOOT::|s| BOOT::%)
; (BLOCK BOOT::|CDBTOOL;normalize|
; (BOOT::SPROG ((BOOT::|toSymbols| #) (BOOT::|fromSymbols| #))
; (BOOT::SEQ (BOOT::LETT BOOT::|fromSymbols| #)
; (BOOT::LETT BOOT::|toSymbols| #)
; (BOOT::EXIT #)))))
;
; caught STYLE-WARNING:
; The variable |x| is defined but never used.
; file: /home/kfp/Desktop/work/spad/CDBTOOL.NRLIB/CDBTOOL.lsp
; in: SDEFUN |CDBTOOL;replaceArguments;SeLSe;10|
; (BOOT::SPADCALL BOOT::|$FormalMapVariableList| (BOOT::QREFELT BOOT::% 38))
; --> THE FUNCALL
; ==>
; 1
;
; caught WARNING:
; undefined variable: BOOT::|$FormalMapVariableList|
; in: SDEFUN |CDBTOOL;normalize|
; (BOOT::SPADCALL (BOOT::|spadConstant| BOOT::% 10)
; BOOT::|$FormalMapVariableList| (BOOT::QREFELT BOOT::% 9))
; --> THE FUNCALL
; ==>
; 1
;
; caught WARNING:
; undefined variable: BOOT::|$FormalMapVariableList|
; (BOOT::SPADCALL (BOOT::|spadConstant| BOOT::% 8)
; BOOT::|$TriangleVariableList| (BOOT::QREFELT BOOT::% 9))
; --> THE FUNCALL
; ==>
; 1
;
; caught WARNING:
; undefined variable: BOOT::|$TriangleVariableList|
;
; compilation unit finished
; Undefined variables:
; |$FormalMapVariableList| |$TriangleVariableList|
; caught 3 WARNING conditions
; caught 1 STYLE-WARNING condition
; wrote /home/kfp/Desktop/work/spad/CDBTOOL.NRLIB/CDBTOOL.fasl
; compilation finished in 0:00:00.161
------------------------------------------------------------------------
ConstructorDataBaseTools is now explicitly exposed in frame initial
ConstructorDataBaseTools will be automatically loaded when needed
from /home/kfp/Desktop/work/spad/CDBTOOL.NRLIB/CDBTOOL
CONDATA abbreviates domain ConstructorData
------------------------------------------------------------------------
initializing NRLIB CONDATA for ConstructorData
compiling into NRLIB CONDATA
processing macro definition Rep ==> Record(cid: String,ckind: String,cargids: List SExpression,cargtypes: List SExpression,cexports: XHashTable(SExpression,Record(orig: SExpression,cond: DisjunctiveNormalForm SExpression,docstr: String)),cdoc: String)
importing SExpressionOperations
importing ConstructorDataBaseTools
compiling local replaceArguments : (DisjunctiveNormalForm SExpression,List SExpression) -> DisjunctiveNormalForm SExpression
Time: 0.01 SEC.
compiling local addExports! : (XHashTable(SExpression,Record(orig: SExpression,cond: DisjunctiveNormalForm SExpression,docstr: String)),SExpression,DisjunctiveNormalForm SExpression) -> XHashTable(SExpression,Record(orig: SExpression,cond: DisjunctiveNormalForm SExpression,docstr: String))
Time: 0 SEC.
compiling local saturateExports! : XHashTable(SExpression,Record(orig: SExpression,cond: DisjunctiveNormalForm SExpression,docstr: String)) -> XHashTable(SExpression,Record(orig: SExpression,cond: DisjunctiveNormalForm SExpression,docstr: String))
Time: 0 SEC.
compiling local parameterFree? : SExpression -> Boolean
Time: 0 SEC.
compiling local hasForm? : SExpression -> Boolean
Time: 0 SEC.
compiling local simplifyHasForm : (SExpression,XHashTable(SExpression,Record(orig: SExpression,cond: DisjunctiveNormalForm SExpression,docstr: String)),SExpression,XHashTable(SExpression,XHashTable(SExpression,Record(orig: SExpression,cond: DisjunctiveNormalForm SExpression,docstr: String)))) -> SExpression
Time: 0 SEC.
compiling local percentHas? : (SExpression,SExpression) -> Boolean
Time: 0 SEC.
processing macro definition L ==> LiteralForm SExpression
compiling local simplifyAndClause : (Set LiteralForm SExpression,XHashTable(SExpression,Record(orig: SExpression,cond: DisjunctiveNormalForm SExpression,docstr: String)),SExpression,XHashTable(SExpression,XHashTable(SExpression,Record(orig: SExpression,cond: DisjunctiveNormalForm SExpression,docstr: String)))) -> DisjunctiveNormalForm SExpression
Time: 0.03 SEC.
compiling local implies? : (List LiteralForm SExpression,List LiteralForm SExpression) -> Boolean
Time: 0.01 SEC.
compiling local redundant? : (List LiteralForm SExpression,List List LiteralForm SExpression) -> Boolean
Time: 0 SEC.
compiling local removeRedundant : (List LiteralForm SExpression,List List LiteralForm SExpression) -> List List LiteralForm SExpression
Time: 0 SEC.
compiling local simplifyViaInheritance : DisjunctiveNormalForm SExpression -> DisjunctiveNormalForm SExpression
Time: 0.01 SEC.
compiling local simplifyDNF : (DisjunctiveNormalForm SExpression,XHashTable(SExpression,Record(orig: SExpression,cond: DisjunctiveNormalForm SExpression,docstr: String)),SExpression,XHashTable(SExpression,XHashTable(SExpression,Record(orig: SExpression,cond: DisjunctiveNormalForm SExpression,docstr: String)))) -> DisjunctiveNormalForm SExpression
Time: 0 SEC.
compiling local addArgCat! : (XHashTable(SExpression,Record(orig: SExpression,cond: DisjunctiveNormalForm SExpression,docstr: String)),SExpression) -> XHashTable(SExpression,Record(orig: SExpression,cond: DisjunctiveNormalForm SExpression,docstr: String))
Time: 0.02 SEC.
compiling local argumentCategory : SExpression -> XHashTable(SExpression,Record(orig: SExpression,cond: DisjunctiveNormalForm SExpression,docstr: String))
Time: 0.04 SEC.
compiling local onePositiveLiteral : DisjunctiveNormalForm SExpression -> SExpression
Time: 0.03 SEC.
compiling local removeFalseExports! : (SExpression,XHashTable(SExpression,Record(orig: SExpression,cond: DisjunctiveNormalForm SExpression,docstr: String))) -> XHashTable(SExpression,Record(orig: SExpression,cond: DisjunctiveNormalForm SExpression,docstr: String))
Time: 0.04 SEC.
compiling exported catExports : SExpression -> XHashTable(SExpression,Record(orig: SExpression,cond: DisjunctiveNormalForm SExpression,docstr: String))
Time: 0.01 SEC.
compiling local computeConstructorData : String -> %
Time: 0.11 SEC.
compiling exported constructorData : String -> %
Time: 0 SEC.
compiling exported identifier : % -> String
CONDATA;identifier;%S;21 is replaced by QVELTx0
Time: 0 SEC.
compiling exported kind : % -> String
CONDATA;kind;%S;22 is replaced by QVELTx1
Time: 0 SEC.
compiling exported argumentIdentifiers : % -> List SExpression
CONDATA;argumentIdentifiers;%L;23 is replaced by QVELTx2
Time: 0 SEC.
compiling exported argumentTypes : % -> List SExpression
Time: 0 SEC.
compiling exported docString : % -> String
CONDATA;docString;%S;25 is replaced by QVELTx5
Time: 0 SEC.
compiling exported explicitExports : (%,List SExpression) -> XHashTable(SExpression,Record(orig: SExpression,cond: DisjunctiveNormalForm SExpression,docstr: String))
Time: 0 SEC.
compiling exported categoryExports : % -> XHashTable(SExpression,Record(orig: SExpression,cond: DisjunctiveNormalForm SExpression,docstr: String))
Time: 0.01 SEC.
compiling exported coerce : % -> OutputForm
Time: 0 SEC.
(time taken in buildFunctor: 633)
Time: 0 SEC.
Warnings:
[1] simplifyHasForm: cond has no value
[2] simplifyAndClause: d has no value
[3] implies?: cond has no value
[4] simplifyViaInheritance: newClauses has no value
[5] removeFalseExports!: cond has no value
[6] catExports: cond has no value
[7] computeConstructorData: sdoc has no value
Cumulative Statistics for Constructor ConstructorData
Time: 0.39 seconds
finalizing NRLIB CONDATA
Processing ConstructorData for Browser database:
--------constructor---------
--------(constructorData (% (String)))---------
--------(identifier ((String) %))---------
--------(kind ((String) %))---------
--------(argumentIdentifiers ((List (SExpression)) %))---------
--------(argumentTypes ((List (SExpression)) %))---------
--------(docString ((String) %))---------
--------(explicitExports ((XHashTable (SExpression) (Record (: orig (SExpression)) (: cond (DisjunctiveNormalForm (SExpression))) (: docstr (String)))) % (List (SExpression))))---------
--------(categoryExports ((XHashTable (SExpression) (Record (: orig (SExpression)) (: cond (DisjunctiveNormalForm (SExpression))) (: docstr (String)))) %))---------
--------(catExports ((XHashTable (SExpression) (Record (: orig (SExpression)) (: cond (DisjunctiveNormalForm (SExpression))) (: docstr (String)))) (SExpression)))---------
--->-->ConstructorData((catExports ((XHashTable (SExpression) (Record (: orig (SExpression)) (: cond (DisjunctiveNormalForm (SExpression))) (: docstr (String)))) (SExpression)))): Improper first word in comments: This
"This function is only an internal helper function for categoryExports."
; compiling file "/home/kfp/Desktop/work/spad/CONDATA.NRLIB/CONDATA.lsp" (written 25 DEC 2024 01:14:05 PM):
; file: /home/kfp/Desktop/work/spad/CONDATA.NRLIB/CONDATA.lsp
; in: SDEFUN |CONDATA;parameterFree?|
; (GO #:G413)
;
; note: deleting unreachable code
; in: SDEFUN |CONDATA;simplifyHasForm|
; (BOOT::SDEFUN BOOT::|CONDATA;simplifyHasForm|
; ((BOOT::|s| (BOOT::|SExpression|))
; (BOOT::|cex|
; (BOOT::|XHashTable| (BOOT::|SExpression|)
; (BOOT::|Record| # # #)))
; (BOOT::|catsig| (BOOT::|SExpression|))
; (BOOT::|argcats|
; (BOOT::|XHashTable| (BOOT::|SExpression|)
; (BOOT::|XHashTable| # #)))
; (BOOT::% (BOOT::|SExpression|)))
; (BOOT::SPROG
; ((#:G439 NIL) (BOOT::|cex2| (BOOT::|XHashTable| # #))
; (BOOT::|cat| (BOOT::|SExpression|))
; (BOOT::|dom| (BOOT::|SExpression|)))
; (BOOT::SEQ (BOOT::EXIT (COND # #)) #:G438
; (BOOT::EXIT #:G439))))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|CONDATA;simplifyHasForm|
; (BOOT::|s| BOOT::|cex| BOOT::|catsig| BOOT::|argcats| BOOT::%)
; (BLOCK BOOT::|CONDATA;simplifyHasForm|
; (BOOT::SPROG
; ((#:G439 NIL) (BOOT::|cex2| #) (BOOT::|cat| #) (BOOT::|dom| #))
; (BOOT::SEQ (BOOT::EXIT #) #:G438 (BOOT::EXIT #:G439)))))
;
; caught STYLE-WARNING:
; The variable |catsig| is defined but never used.
; in: SDEFUN |CONDATA;simplifyAndClause|
; (GO #:G446)
;
; note: deleting unreachable code
; (GO #:G447)
;
; note: deleting unreachable code
; in: SDEFUN |CONDATA;identifier;%S;21|
; (BOOT::SDEFUN BOOT::|CONDATA;identifier;%S;21|
; ((BOOT::|x| (BOOT::%)) (BOOT::% (BOOT::|String|)))
; (BOOT::QVELT BOOT::|x| 0))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|CONDATA;identifier;%S;21|
; (BOOT::|x| BOOT::%)
; (BLOCK BOOT::|CONDATA;identifier;%S;21| (BOOT::QVELT BOOT::|x| 0)))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
; in: SDEFUN |CONDATA;kind;%S;22|
; (BOOT::SDEFUN BOOT::|CONDATA;kind;%S;22|
; ((BOOT::|x| (BOOT::%)) (BOOT::% (BOOT::|String|)))
; (BOOT::QVELT BOOT::|x| 1))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|CONDATA;kind;%S;22|
; (BOOT::|x| BOOT::%)
; (BLOCK BOOT::|CONDATA;kind;%S;22| (BOOT::QVELT BOOT::|x| 1)))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
; in: SDEFUN |CONDATA;argumentIdentifiers;%L;23|
; (BOOT::SDEFUN BOOT::|CONDATA;argumentIdentifiers;%L;23|
; ((BOOT::|x| (BOOT::%))
; (BOOT::% (BOOT::|List| (BOOT::|SExpression|))))
; (BOOT::QVELT BOOT::|x| 2))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|CONDATA;argumentIdentifiers;%L;23|
; (BOOT::|x| BOOT::%)
; (BLOCK BOOT::|CONDATA;argumentIdentifiers;%L;23|
; (BOOT::QVELT BOOT::|x| 2)))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
; in: SDEFUN |CONDATA;docString;%S;25|
; (BOOT::SDEFUN BOOT::|CONDATA;docString;%S;25|
; ((BOOT::|x| (BOOT::%)) (BOOT::% (BOOT::|String|)))
; (BOOT::QVELT BOOT::|x| 5))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|CONDATA;docString;%S;25|
; (BOOT::|x| BOOT::%)
; (BLOCK BOOT::|CONDATA;docString;%S;25| (BOOT::QVELT BOOT::|x| 5)))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
; in: SDEFUN |CONDATA;coerce;%Of;28|
; (BOOT::SDEFUN BOOT::|CONDATA;coerce;%Of;28|
; ((BOOT::|x| (BOOT::%)) (BOOT::% (BOOT::|OutputForm|)))
; (BOOT::|coerceRe2E| BOOT::|x|
; (ELT
; (BOOT::|Record| (BOOT::|:| BOOT::|cid| #)
; (BOOT::|:| BOOT::|ckind|
; #)
; (BOOT::|:| BOOT::|cargids|
; #)
; (BOOT::|:|
; BOOT::|cargtypes| #)
; (BOOT::|:|
; BOOT::|cexports| #)
; (BOOT::|:| BOOT::|cdoc|
; #))
; 0)))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|CONDATA;coerce;%Of;28|
; (BOOT::|x| BOOT::%)
; (BLOCK BOOT::|CONDATA;coerce;%Of;28|
; (BOOT::|coerceRe2E| BOOT::|x| (ELT (BOOT::|Record| # # # # # #) 0))))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
;
; compilation unit finished
; caught 6 STYLE-WARNING conditions
; printed 3 notes
; wrote /home/kfp/Desktop/work/spad/CONDATA.NRLIB/CONDATA.fasl
; compilation finished in 0:00:00.236
------------------------------------------------------------------------
ConstructorData is now explicitly exposed in frame initial
ConstructorData will be automatically loaded when needed from
/home/kfp/Desktop/work/spad/CONDATA.NRLIB/CONDATA
CDOCSPX abbreviates package ConstructorDocumentationSphinxTools
------------------------------------------------------------------------
initializing NRLIB CDOCSPX for ConstructorDocumentationSphinxTools
compiling into NRLIB CDOCSPX
compiling local hex : Character -> String
Time: 0 SEC.
compiling local hexString : String -> String
Time: 0 SEC.
compiling exported anchor : String -> String
Time: 0 SEC.
compiling exported anchor2 : (String,String) -> String
Time: 0 SEC.
compiling exported sphinxref : (String,String,String) -> String
Time: 0 SEC.
compiling local rstEscapeChar : Character -> String
Time: 0 SEC.
compiling local rstEscapeStr : String -> String
Time: 0 SEC.
compiling exported constructorRef : String -> String
Time: 0 SEC.
compiling exported functionRef : (String,String) -> String
Time: 0 SEC.
(time taken in buildFunctor: 81)
Time: 0 SEC.
Cumulative Statistics for Constructor ConstructorDocumentationSphinxTools
Time: 0.02 seconds
finalizing NRLIB CDOCSPX
Processing ConstructorDocumentationSphinxTools for Browser database:
--------constructor---------
--------(anchor ((String) (String)))---------
--------(anchor2 ((String) (String) (String)))---------
--------(sphinxref ((String) (String) (String) (String)))---------
--------(constructorRef ((String) (String)))---------
--------(functionRef ((String) (String) (String)))---------
--->-->ConstructorDocumentationSphinxTools((functionRef ((String) (String) (String)))): Missing left pren
"\\spad{functionRef(id,{} constructor)} creates a sphinx reference the function with name \\spad{id} in the page of the constructor. If the constructor is in the list of constructors whose .\\spad{rst} files will be created (mustDocument?(constructor) is \\spad{true}),{} then it refers to this file. Otherwise mustDocument?(constructor) is \\spad{false}),{} the reference is into the official FriCAS API pages. If the constructor is not in the mustDocument? hash then just \\spad{id} is returned. If constructor=\"\",{} then \\spad{id} is output in a special style without a link."
; compiling file "/home/kfp/Desktop/work/spad/CDOCSPX.NRLIB/CDOCSPX.lsp" (written 25 DEC 2024 01:14:06 PM):
; wrote /home/kfp/Desktop/work/spad/CDOCSPX.NRLIB/CDOCSPX.fasl
; compilation finished in 0:00:00.029
------------------------------------------------------------------------
ConstructorDocumentationSphinxTools is now explicitly exposed in
frame initial
ConstructorDocumentationSphinxTools will be automatically loaded
when needed from
/home/kfp/Desktop/work/spad/CDOCSPX.NRLIB/CDOCSPX
CDOCTEX abbreviates package ConstructorDocumentationTeXTools
------------------------------------------------------------------------
initializing NRLIB CDOCTEX for ConstructorDocumentationTeXTools
compiling into NRLIB CDOCTEX
importing ConstructorDocumentationSphinxTools mustDocument?
compiling local endMacroIndex : String -> NonNegativeInteger
Time: 0 SEC.
compiling local removeCommaBraces : String -> String
Time: 0 SEC.
compiling local formatDoc0 : (String,String,String) -> String
Time: 0 SEC.
compiling local formatDoc1 : (String,String,String -> String) -> String
Time: 0 SEC.
compiling local formatDoc2 : (String,String,(String,String) -> String) -> String
Time: 0.02 SEC.
compiling local spad : String -> String
Time: 0 SEC.
compiling local role : String -> String -> String
Time: 0 SEC.
compiling local emph : String -> String
Time: 0 SEC.
compiling local boldface : String -> String
Time: 0 SEC.
compiling local id : String -> String
CDOCTEX;id is replaced by s
Time: 0 SEC.
compiling local id2 : (String,String) -> String
CDOCTEX;id2 is replaced by s2
Time: 0 SEC.
compiling local replace : String -> String -> String
Time: 0 SEC.
compiling exported tex2rst : String -> String
Time: 0 SEC.
(time taken in buildFunctor: 107)
Time: 0 SEC.
Cumulative Statistics for Constructor ConstructorDocumentationTeXTools
Time: 0.04 seconds
finalizing NRLIB CDOCTEX
Processing ConstructorDocumentationTeXTools for Browser database:
--------constructor---------
--->-->ConstructorDocumentationTeXTools((tex2rst ((String) (String)))): Not documented!!!!
; compiling file "/home/kfp/Desktop/work/spad/CDOCTEX.NRLIB/CDOCTEX.lsp" (written 25 DEC 2024 01:14:06 PM):
; file: /home/kfp/Desktop/work/spad/CDOCTEX.NRLIB/CDOCTEX.lsp
; in: SDEFUN |CDOCTEX;formatDoc1!0|
; (BOOT::SDEFUN BOOT::|CDOCTEX;formatDoc1!0| ((BOOT::|x| NIL) (BOOT::$$ NIL))
; BOOT::|x|)
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|CDOCTEX;formatDoc1!0|
; (BOOT::|x| BOOT::$$)
; (BLOCK BOOT::|CDOCTEX;formatDoc1!0| BOOT::|x|))
;
; caught STYLE-WARNING:
; The variable $$ is defined but never used.
; in: SDEFUN |CDOCTEX;id|
; (BOOT::SDEFUN BOOT::|CDOCTEX;id|
; ((BOOT::|s| (BOOT::|String|)) (BOOT::% (BOOT::|String|)))
; BOOT::|s|)
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|CDOCTEX;id|
; (BOOT::|s| BOOT::%)
; (DECLARE (TYPE STRING BOOT::|s|))
; (BLOCK BOOT::|CDOCTEX;id| BOOT::|s|))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
; in: SDEFUN |CDOCTEX;id2|
; (BOOT::SDEFUN BOOT::|CDOCTEX;id2|
; ((BOOT::|s1| (BOOT::|String|)) (BOOT::|s2| (BOOT::|String|))
; (BOOT::% (BOOT::|String|)))
; BOOT::|s2|)
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|CDOCTEX;id2|
; (BOOT::|s1| BOOT::|s2| BOOT::%)
; (DECLARE (TYPE STRING BOOT::|s1|))
; (DECLARE (TYPE STRING BOOT::|s2|))
; (BLOCK BOOT::|CDOCTEX;id2| BOOT::|s2|))
;
; caught STYLE-WARNING:
; The variable |s1| is defined but never used.
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
; in: SDEFUN |CDOCTEX;replace|
; (BOOT::SDEFUN BOOT::|CDOCTEX;replace|
; ((BOOT::|s| (BOOT::|String|))
; (BOOT::% (BOOT::|Mapping| (BOOT::|String|) (BOOT::|String|))))
; (CONS #'BOOT::|CDOCTEX;replace!0| BOOT::|s|))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|CDOCTEX;replace|
; (BOOT::|s| BOOT::%)
; (DECLARE (TYPE STRING BOOT::|s|))
; (BLOCK BOOT::|CDOCTEX;replace|
; (CONS #'BOOT::|CDOCTEX;replace!0| BOOT::|s|)))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
; in: SDEFUN |CDOCTEX;replace!0|
; (BOOT::SDEFUN BOOT::|CDOCTEX;replace!0| ((BOOT::|x| NIL) (BOOT::|s| NIL))
; BOOT::|s|)
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|CDOCTEX;replace!0|
; (BOOT::|x| BOOT::|s|)
; (BLOCK BOOT::|CDOCTEX;replace!0| BOOT::|s|))
;
; caught STYLE-WARNING:
; The variable |x| is defined but never used.
;
; compilation unit finished
; caught 6 STYLE-WARNING conditions
; wrote /home/kfp/Desktop/work/spad/CDOCTEX.NRLIB/CDOCTEX.fasl
; compilation finished in 0:00:00.062
------------------------------------------------------------------------
ConstructorDocumentationTeXTools is now explicitly exposed in frame
initial
ConstructorDocumentationTeXTools will be automatically loaded when
needed from /home/kfp/Desktop/work/spad/CDOCTEX.NRLIB/CDOCTEX
CONDOCG abbreviates package ConstructorDocumentationGeneric
------------------------------------------------------------------------
initializing NRLIB CONDOCG for ConstructorDocumentationGeneric
compiling into NRLIB CONDOCG
importing SExpressionOperations
importing ConstructorDataBaseTools
importing ConstructorDocumentationSphinxTools mustDocument?
importing ConstructorDocumentationTeXTools mustDocument?
compiling local lex : (String,String) -> Boolean
Time: 0 SEC.
compiling local lt : (String,String) -> Boolean
Time: 0 SEC.
compiling local leftTrimSpace : String -> String
Time: 0 SEC.
compiling local joinBy : (String,List String) -> String
Time: 0 SEC.
compiling local formatTUPLE : List String -> String
Time: 0.02 SEC.
compiling local formatTypeWithArguments : (String,List String) -> String
Time: 0 SEC.
compiling local nostyle : String -> String
CONDOCG;nostyle is replaced by str
Time: 0 SEC.
compiling local xreftype : String -> String
Time: 0 SEC.
compiling local type2rstAux : (SExpression,String -> String) -> String
Time: 0.01 SEC.
compiling local type2rst : (SExpression,String -> String) -> String
Time: 0 SEC.
compiling local type2rstref : SExpression -> String
Time: 0 SEC.
compiling local formatHeader : (String,List String) -> List String
Time: 0 SEC.
compiling local prefix : (String,List String) -> List String
Time: 0 SEC.
compiling local functionIdentifier : SExpression -> String
Time: 0 SEC.
compiling local formatSIGNATURE : (SExpression,String,String -> String) -> String
Time: 0 SEC.
compiling local plainSIGNATURE : SExpression -> String
Time: 0 SEC.
compiling local functionSIGNATURE : (SExpression,String) -> String
Time: 0 SEC.
compiling local formatCATEGORYType : SExpression -> List String
Time: 0 SEC.
compiling local formatJoinType : SExpression -> Record(fcats: List String,fsigs: List String)
Time: 0 SEC.
compiling local formatConstructorType : SExpression -> Record(fcats: List String,fsigs: List String)
Time: 0.01 SEC.
compiling local formatArgument : (String,SExpression) -> Record(fcat: String,fsigs: List String)
Time: 0 SEC.
compiling local formatArguments : (List String,List SExpression) -> List String
Time: 0 SEC.
compiling local formatLiteral : LiteralForm SExpression -> String
Time: 0.02 SEC.
compiling local formatCondition : DisjunctiveNormalForm SExpression -> String
Time: 0 SEC.
compiling local formatIf : DisjunctiveNormalForm SExpression -> String
Time: 0 SEC.
compiling local uniq! : (XHashTable(String,String),List String) -> List String
Time: 0 SEC.
compiling local reStructuredTextSignatures : ConstructorData -> List String
Time: 0.01 SEC.
compiling local reStructuredTextCategories : ConstructorData -> List String
Time: 0 SEC.
compiling local reStructuredText : (String,String,String) -> List String
Time: 0 SEC.
compiling local reStructuredTextFile : (String,String,String) -> Void
Time: 0 SEC.
compiling local documentConstructorsTOC : (String,List String) -> Void
Time: 0 SEC.
compiling exported documentConstructors : (String,String,XHashTable(String,Record(fn: String,pos: String,ckind: String))) -> Void
Time: 0 SEC.
(time taken in buildFunctor: 408)
Time: 0 SEC.
Warnings:
[1] formatJoinType: cats has no value
[2] formatJoinType: sigs has no value
[3] formatArgument: fcats has no value
[4] formatArgument: fsigs has no value
[5] formatArgument: str has no value
[6] documentConstructors: ckind has no value
Cumulative Statistics for Constructor ConstructorDocumentationGeneric
Time: 0.15 seconds
finalizing NRLIB CONDOCG
Processing ConstructorDocumentationGeneric for Browser database:
--->-->ConstructorDocumentationGeneric(constructor): Not documented!!!!
--------(documentConstructors ((Void) (String) (String) (XHashTable (String) (Record (: fn (String)) (: pos (String)) (: ckind (String))))))---------
--->-->ConstructorDocumentationGeneric(): Missing Description
; compiling file "/home/kfp/Desktop/work/spad/CONDOCG.NRLIB/CONDOCG.lsp" (written 25 DEC 2024 01:14:06 PM):
; file: /home/kfp/Desktop/work/spad/CONDOCG.NRLIB/CONDOCG.lsp
; in: SDEFUN |CONDOCG;nostyle|
; (BOOT::SDEFUN BOOT::|CONDOCG;nostyle|
; ((BOOT::|str| (BOOT::|String|)) (BOOT::% (BOOT::|String|)))
; BOOT::|str|)
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|CONDOCG;nostyle|
; (BOOT::|str| BOOT::%)
; (DECLARE (TYPE STRING BOOT::|str|))
; (BLOCK BOOT::|CONDOCG;nostyle| BOOT::|str|))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
; in: SDEFUN |CONDOCG;type2rstAux|
; (GO #:G791)
;
; note: deleting unreachable code
; in: SDEFUN |CONDOCG;prefix|
; (BOOT::SDEFUN BOOT::|CONDOCG;prefix|
; ((BOOT::|p| (BOOT::|String|))
; (BOOT::|l| (BOOT::|List| (BOOT::|String|)))
; (BOOT::% (BOOT::|List| (BOOT::|String|))))
; (BOOT::SPROG ((#:G828 NIL) (BOOT::|s| NIL) (#:G827 NIL))
; (BOOT::SEQ
; (PROGN
; (BOOT::LETT #:G827 NIL)
; (BOOT::SEQ # # BOOT::G190 # # # # BOOT::G191
; #)))))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|CONDOCG;prefix|
; (BOOT::|p| BOOT::|l| BOOT::%)
; (DECLARE (TYPE STRING BOOT::|p|))
; (BLOCK BOOT::|CONDOCG;prefix|
; (BOOT::SPROG ((#:G828 NIL) (BOOT::|s| NIL) (#:G827 NIL))
; (BOOT::SEQ (PROGN # #)))))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
;
; compilation unit finished
; caught 2 STYLE-WARNING conditions
; printed 1 note
; wrote /home/kfp/Desktop/work/spad/CONDOCG.NRLIB/CONDOCG.fasl
; compilation finished in 0:00:00.163
------------------------------------------------------------------------
ConstructorDocumentationGeneric is now explicitly exposed in frame
initial
ConstructorDocumentationGeneric will be automatically loaded when
needed from /home/kfp/Desktop/work/spad/CONDOCG.NRLIB/CONDOCG
CONDOC abbreviates package ConstructorDocumentation
------------------------------------------------------------------------
initializing NRLIB CONDOC for ConstructorDocumentation
compiling into NRLIB CONDOC
compiling exported readConstructors : String -> XHashTable(String,Record(fn: String,pos: String,ckind: String))
Time: 0 SEC.
compiling exported documentAll : String -> Void
Time: 0 SEC.
(time taken in buildFunctor: 87)
Time: 0 SEC.
Cumulative Statistics for Constructor ConstructorDocumentation
Time: 0.01 seconds
finalizing NRLIB CONDOC
Processing ConstructorDocumentation for Browser database:
--->-->ConstructorDocumentation(constructor): Not documented!!!!
--------(documentAll ((Void) (String)))---------
--->-->ConstructorDocumentation((documentAll ((Void) (String)))): Missing left pren
"\\spad{documentAll(path)} takes as argument \\indented{1}{a \\spad{path} to a file that contains lines in the form} \"FILENAME LINENUMBER KIND ABBREV CONSTRUCTOR\" which looks,{} for example,{} like this \"acplot 48 domain ACPLOT PlaneAlgebraicCurvePlot\" and writes out for each constructor \\spad{X} a file with name \\spad{X}.\\spad{rst} that contains the API description,{} \\spadignore{i.e.} docstring and a list of exported function names together with their types. Additionally,{} the following 4 files will be output: \\indented{1}{index.\\spad{rst}\\space{7}\\spad{--} an overview page} \\indented{1}{Categories.\\spad{rst}\\space{2}\\spad{--} a list of\\space{2}all categories} \\indented{1}{Damain.\\spad{rst}\\space{6}\\spad{--} a list of all domains} \\indented{1}{Packages.\\spad{rst}\\space{4}\\spad{--} a list of all domains} The lines in the input file denote the constructors that are going to be output. The ABBREV column is currently unused. The FILENAME and LINENUMBER denote the .spad file and the corresponding line number where the constructor is defined. The KIND,{} ABBREV,{} and CONSTRUCTOR columns are as they appear in the \")abbrev\" declaration in the respective file. The FILENAME,{} LINENUMBER and docurl will be used to construct a link to the source code in the form \"\\${PACKAGE_SOURCE_VIEW}/api/\\${FILENAME}.spad\\#L\\${LINENUMBER}\\spad{`\"} where PACKAGE_SOURCE_VIEW is,{} in fact,{} given through the role \":viewcode:\" that is defined in the sphinx/source/conf.py file like this: \\indented{2}{extlinks = {'viewsource\\spad{':}(PACKAGE_SOURCE_VIEW + \\spad{'/}\\%\\spad{s'},{} \\spad{''}),{}} \\indented{14}{'viewcode\\spad{':}(PACKAGE_SOURCE_VIEW + '/src/algebra/\\%\\spad{s'},{} \\spad{''}),{}} \\indented{14}{'editcode\\spad{':}(PACKAGE_SOURCE_EDIT + '/src/algebra/\\%\\spad{s'},{} \\spad{''}),{}} \\indented{14}{'fricasapi\\spad{':}(FRICAS_URL + '/api/\\%\\spad{s'},{} \\spad{''})} \\indented{13}{}} If the constructor is not listed in the file that is given by the parameter \\spad{path},{} it will for example,{} be output as \\indented{2}{:fricasapi:`Integer <Integer>`} which eventually results in a link to the FriCAS API page."
--------(readConstructors ((XHashTable (String) (Record (: fn (String)) (: pos (String)) (: ckind (String)))) (String)))---------
--->-->ConstructorDocumentation(): Missing Description
; compiling file "/home/kfp/Desktop/work/spad/CONDOC.NRLIB/CONDOC.lsp" (written 25 DEC 2024 01:14:06 PM):
; wrote /home/kfp/Desktop/work/spad/CONDOC.NRLIB/CONDOC.fasl
; compilation finished in 0:00:00.044
------------------------------------------------------------------------
ConstructorDocumentation is now explicitly exposed in frame initial
ConstructorDocumentation will be automatically loaded when needed
from /home/kfp/Desktop/work/spad/CONDOC.NRLIB/CONDOC
TEXSCAN abbreviates package TeXScanner
------------------------------------------------------------------------
initializing NRLIB TEXSCAN for TeXScanner
compiling into NRLIB TEXSCAN
importing Character
compiling exported at_eos? : Record(str: String,pos: Integer) -> Boolean
Time: 0 SEC.
compiling local handle_verb : Record(str: String,pos: Integer) -> Union(text: String,lbrace: lbrace,rbrace: rbrace,macro_name: Record(name: String),eos: eos,error: error)
Time: 0 SEC.
compiling exported get_token! : Record(str: String,pos: Integer) -> Union(text: String,lbrace: lbrace,rbrace: rbrace,macro_name: Record(name: String),eos: eos,error: error)
Time: 0 SEC.
(time taken in buildFunctor: 70)
Time: 0 SEC.
Semantic Errors:
[1] get_token!: name is BOTH a variable and a literal
Warnings:
[1] at_eos?: pos has no value
Cumulative Statistics for Constructor TeXScanner
Time: 0.01 seconds
finalizing NRLIB TEXSCAN
Processing TeXScanner for Browser database:
--->-->TeXScanner(constructor): Not documented!!!!
--->-->TeXScanner((at_eos? ((Boolean) (Record (: str (String)) (: pos (Integer)))))): Not documented!!!!
--->-->TeXScanner((get_token! ((Union (: text (String)) (: lbrace lbrace) (: rbrace rbrace) (: macro_name (Record (: name (String)))) (: eos eos) (: error error)) (Record (: str (String)) (: pos (Integer)))))): Not documented!!!!
--->-->TeXScanner(): Missing Description
; compiling file "/home/kfp/Desktop/work/spad/TEXSCAN.NRLIB/TEXSCAN.lsp" (written 25 DEC 2024 01:14:06 PM):
; file: /home/kfp/Desktop/work/spad/TEXSCAN.NRLIB/TEXSCAN.lsp
; in: SDEFUN |TEXSCAN;at_eos?;RB;1|
; (BOOT::SDEFUN BOOT::|TEXSCAN;at_eos?;RB;1|
; ((BOOT::|st|
; (BOOT::|Record| (BOOT::|:| BOOT::|str| #)
; (BOOT::|:| BOOT::|pos| #)))
; (BOOT::% (BOOT::|Boolean|)))
; (< (BOOT::QCSIZE (BOOT::QCAR BOOT::|st|))
; (BOOT::QCDR BOOT::|st|)))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|TEXSCAN;at_eos?;RB;1|
; (BOOT::|st| BOOT::%)
; (BLOCK BOOT::|TEXSCAN;at_eos?;RB;1|
; (< (BOOT::QCSIZE (BOOT::QCAR BOOT::|st|)) (BOOT::QCDR BOOT::|st|))))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
; in: SDEFUN |TEXSCAN;get_token!;RU;3|
; (GO #:G1035)
;
; note: deleting unreachable code
; (GO #:G1022)
;
; note: deleting unreachable code
;
; compilation unit finished
; caught 1 STYLE-WARNING condition
; printed 2 notes
; wrote /home/kfp/Desktop/work/spad/TEXSCAN.NRLIB/TEXSCAN.fasl
; compilation finished in 0:00:00.031
------------------------------------------------------------------------
TeXScanner is now explicitly exposed in frame initial
TeXScanner will be automatically loaded when needed from
/home/kfp/Desktop/work/spad/TEXSCAN.NRLIB/TEXSCAN
TEXTREE abbreviates domain TeXTree
------------------------------------------------------------------------
initializing NRLIB TEXTREE for TeXTree
compiling into NRLIB TEXTREE
compiling exported group : List % -> %
TEXTREE;group;L%;1 is replaced by CONS0l
Time: 0 SEC.
compiling exported group? : % -> Boolean
TEXTREE;group?;%B;2 is replaced by QEQCARx0
Time: 0 SEC.
compiling exported ungroup : % -> List %
TEXTREE;ungroup;%L;3 is replaced by QCDR
Time: 0 SEC.
compiling exported m_call : (String,List %) -> %
Time: 0 SEC.
compiling exported m_call? : % -> Boolean
TEXTREE;m_call?;%B;5 is replaced by QEQCARx1
Time: 0 SEC.
compiling exported get_call : % -> Record(name: String,args: List %)
TEXTREE;get_call;%R;6 is replaced by QCDR
Time: 0 SEC.
compiling exported text : String -> %
TEXTREE;text;S%;7 is replaced by CONS2s
Time: 0 SEC.
compiling exported text? : % -> Boolean
TEXTREE;text?;%B;8 is replaced by QEQCARx2
Time: 0 SEC.
compiling exported get_text : % -> String
TEXTREE;get_text;%S;9 is replaced by QCDR
Time: 0 SEC.
(time taken in buildFunctor: 68)
Time: 0 SEC.
Semantic Errors:
[1] m_call: args is BOTH a variable and a literal
Cumulative Statistics for Constructor TeXTree
Time: 0 seconds
finalizing NRLIB TEXTREE
Processing TeXTree for Browser database:
--->-->TeXTree(constructor): Not documented!!!!
--->-->TeXTree((group (% (List %)))): Not documented!!!!
--->-->TeXTree((group? ((Boolean) %))): Not documented!!!!
--->-->TeXTree((ungroup ((List %) %))): Not documented!!!!
--->-->TeXTree((m_call (% (String) (List %)))): Not documented!!!!
--->-->TeXTree((m_call? ((Boolean) %))): Not documented!!!!
--->-->TeXTree((get_call ((Record (: name (String)) (: args (List %))) %))): Not documented!!!!
--->-->TeXTree((text (% (String)))): Not documented!!!!
--->-->TeXTree((text? ((Boolean) %))): Not documented!!!!
--->-->TeXTree((get_text ((String) %))): Not documented!!!!
--->-->TeXTree(): Missing Description
; compiling file "/home/kfp/Desktop/work/spad/TEXTREE.NRLIB/TEXTREE.lsp" (written 25 DEC 2024 01:14:06 PM):
; file: /home/kfp/Desktop/work/spad/TEXTREE.NRLIB/TEXTREE.lsp
; in: SDEFUN |TEXTREE;group;L%;1|
; (BOOT::SDEFUN BOOT::|TEXTREE;group;L%;1|
; ((BOOT::|l| (BOOT::|List| BOOT::%)) (BOOT::% (BOOT::%)))
; (CONS 0 BOOT::|l|))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|TEXTREE;group;L%;1|
; (BOOT::|l| BOOT::%)
; (BLOCK BOOT::|TEXTREE;group;L%;1| (CONS 0 BOOT::|l|)))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
; in: SDEFUN |TEXTREE;group?;%B;2|
; (BOOT::SDEFUN BOOT::|TEXTREE;group?;%B;2|
; ((BOOT::|x| (BOOT::%)) (BOOT::% (BOOT::|Boolean|)))
; (BOOT::QEQCAR BOOT::|x| 0))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|TEXTREE;group?;%B;2|
; (BOOT::|x| BOOT::%)
; (BLOCK BOOT::|TEXTREE;group?;%B;2| (BOOT::QEQCAR BOOT::|x| 0)))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
; in: SDEFUN |TEXTREE;ungroup;%L;3|
; (BOOT::SDEFUN BOOT::|TEXTREE;ungroup;%L;3|
; ((BOOT::|x| (BOOT::%)) (BOOT::% (BOOT::|List| BOOT::%)))
; (BOOT::QCDR BOOT::|x|))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|TEXTREE;ungroup;%L;3|
; (BOOT::|x| BOOT::%)
; (BLOCK BOOT::|TEXTREE;ungroup;%L;3| (BOOT::QCDR BOOT::|x|)))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
; in: SDEFUN |TEXTREE;m_call;SL%;4|
; (BOOT::SDEFUN BOOT::|TEXTREE;m_call;SL%;4|
; ((BOOT::|s| (BOOT::|String|))
; (BOOT::|args| (BOOT::|List| BOOT::%)) (BOOT::% (BOOT::%)))
; (CONS 1 (CONS BOOT::|s| BOOT::|args|)))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|TEXTREE;m_call;SL%;4|
; (BOOT::|s| BOOT::|args| BOOT::%)
; (DECLARE (TYPE STRING BOOT::|s|))
; (BLOCK BOOT::|TEXTREE;m_call;SL%;4|
; (CONS 1 (CONS BOOT::|s| BOOT::|args|))))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
; in: SDEFUN |TEXTREE;m_call?;%B;5|
; (BOOT::SDEFUN BOOT::|TEXTREE;m_call?;%B;5|
; ((BOOT::|x| (BOOT::%)) (BOOT::% (BOOT::|Boolean|)))
; (BOOT::QEQCAR BOOT::|x| 1))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|TEXTREE;m_call?;%B;5|
; (BOOT::|x| BOOT::%)
; (BLOCK BOOT::|TEXTREE;m_call?;%B;5| (BOOT::QEQCAR BOOT::|x| 1)))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
; in: SDEFUN |TEXTREE;get_call;%R;6|
; (BOOT::SDEFUN BOOT::|TEXTREE;get_call;%R;6|
; ((BOOT::|x| (BOOT::%))
; (BOOT::%
; (BOOT::|Record| (BOOT::|:| BOOT::|name| #)
; (BOOT::|:| BOOT::|args| #))))
; (BOOT::QCDR BOOT::|x|))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|TEXTREE;get_call;%R;6|
; (BOOT::|x| BOOT::%)
; (BLOCK BOOT::|TEXTREE;get_call;%R;6| (BOOT::QCDR BOOT::|x|)))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
; in: SDEFUN |TEXTREE;text;S%;7|
; (BOOT::SDEFUN BOOT::|TEXTREE;text;S%;7|
; ((BOOT::|s| (BOOT::|String|)) (BOOT::% (BOOT::%)))
; (CONS 2 BOOT::|s|))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|TEXTREE;text;S%;7|
; (BOOT::|s| BOOT::%)
; (DECLARE (TYPE STRING BOOT::|s|))
; (BLOCK BOOT::|TEXTREE;text;S%;7| (CONS 2 BOOT::|s|)))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
; in: SDEFUN |TEXTREE;text?;%B;8|
; (BOOT::SDEFUN BOOT::|TEXTREE;text?;%B;8|
; ((BOOT::|x| (BOOT::%)) (BOOT::% (BOOT::|Boolean|)))
; (BOOT::QEQCAR BOOT::|x| 2))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|TEXTREE;text?;%B;8|
; (BOOT::|x| BOOT::%)
; (BLOCK BOOT::|TEXTREE;text?;%B;8| (BOOT::QEQCAR BOOT::|x| 2)))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
; in: SDEFUN |TEXTREE;get_text;%S;9|
; (BOOT::SDEFUN BOOT::|TEXTREE;get_text;%S;9|
; ((BOOT::|x| (BOOT::%)) (BOOT::% (BOOT::|String|)))
; (BOOT::QCDR BOOT::|x|))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|TEXTREE;get_text;%S;9|
; (BOOT::|x| BOOT::%)
; (BLOCK BOOT::|TEXTREE;get_text;%S;9| (BOOT::QCDR BOOT::|x|)))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
;
; compilation unit finished
; caught 9 STYLE-WARNING conditions
; wrote /home/kfp/Desktop/work/spad/TEXTREE.NRLIB/TEXTREE.fasl
; compilation finished in 0:00:00.011
------------------------------------------------------------------------
TeXTree is now explicitly exposed in frame initial
TeXTree will be automatically loaded when needed from
/home/kfp/Desktop/work/spad/TEXTREE.NRLIB/TEXTREE
TEXPARSE abbreviates package TexParser
------------------------------------------------------------------------
initializing NRLIB TEXPARSE for TexParser
compiling into NRLIB TEXPARSE
processing macro definition Scan_state ==> Record(str: String,pos: Integer)
processing macro definition Token ==> Union(text: String,lbrace: lbrace,rbrace: rbrace,macro_name: Record(name: String),eos: eos,error: error)
processing macro definition Scan_rec ==> Record(st: Record(str: String,pos: Integer),n_tok: SingleInteger,next_tok: Union(text: String,lbrace: lbrace,rbrace: rbrace,macro_name: Record(name: String),eos: eos,error: error))
compiling local peek_token : Record(st: Record(str: String,pos: Integer),n_tok: SingleInteger,next_tok: Union(text: String,lbrace: lbrace,rbrace: rbrace,macro_name: Record(name: String),eos: eos,error: error)) -> Union(text: String,lbrace: lbrace,rbrace: rbrace,macro_name: Record(name: String),eos: eos,error: error)
Time: 0 SEC.
compiling local unget_token : (Record(st: Record(str: String,pos: Integer),n_tok: SingleInteger,next_tok: Union(text: String,lbrace: lbrace,rbrace: rbrace,macro_name: Record(name: String),eos: eos,error: error)),Union(text: String,lbrace: lbrace,rbrace: rbrace,macro_name: Record(name: String),eos: eos,error: error)) -> Void
Time: 0 SEC.
compiling local get_token : Record(st: Record(str: String,pos: Integer),n_tok: SingleInteger,next_tok: Union(text: String,lbrace: lbrace,rbrace: rbrace,macro_name: Record(name: String),eos: eos,error: error)) -> Union(text: String,lbrace: lbrace,rbrace: rbrace,macro_name: Record(name: String),eos: eos,error: error)
Time: 0 SEC.
processing macro definition M_rec ==> Record(name: String,args: List TeXTree)
compiling local parse_item : Record(st: Record(str: String,pos: Integer),n_tok: SingleInteger,next_tok: Union(text: String,lbrace: lbrace,rbrace: rbrace,macro_name: Record(name: String),eos: eos,error: error)) -> TeXTree
Time: 0 SEC.
compiling local parse_items : Record(st: Record(str: String,pos: Integer),n_tok: SingleInteger,next_tok: Union(text: String,lbrace: lbrace,rbrace: rbrace,macro_name: Record(name: String),eos: eos,error: error)) -> List TeXTree
Time: 0 SEC.
compiling local parse_macro : (Record(st: Record(str: String,pos: Integer),n_tok: SingleInteger,next_tok: Union(text: String,lbrace: lbrace,rbrace: rbrace,macro_name: Record(name: String),eos: eos,error: error)),String) -> Record(name: String,args: List TeXTree)
Time: 0 SEC.
compiling exported parse : String -> TeXTree
Time: 0 SEC.
(time taken in buildFunctor: 197)
Time: 0 SEC.
Semantic Errors:
[1] parse_items: name is BOTH a variable and a literal
[2] name is BOTH a variable and a literal
[3] parse_macro: name is BOTH a variable and a literal
[4] parse_macro: args is BOTH a variable and a literal
Warnings:
[1] peek_token: n_tok has no value
[2] unget_token: n_tok has no value
[3] get_token: n_tok has no value
[4] parse_item: args has no value
[5] parse_items: macro_name has no value
Cumulative Statistics for Constructor TexParser
Time: 0.04 seconds
finalizing NRLIB TEXPARSE
Processing TexParser for Browser database:
--->-->TexParser(constructor): Not documented!!!!
--->-->TexParser((parse ((TeXTree) (String)))): Not documented!!!!
--->-->TexParser(): Missing Description
; compiling file "/home/kfp/Desktop/work/spad/TEXPARSE.NRLIB/TEXPARSE.lsp" (written 25 DEC 2024 01:14:06 PM):
; file: /home/kfp/Desktop/work/spad/TEXPARSE.NRLIB/TEXPARSE.lsp
; in: SDEFUN |TEXPARSE;parse_items|
; (BOOT::SPROG
; ((BOOT::|lv| (BOOT::|List| (BOOT::|TeXTree|))) (#:G1120 NIL)
; (BOOT::|cr|
; (BOOT::|Record| (BOOT::|:| BOOT::|name| #) (BOOT::|:| BOOT::|args| #)))
; (BOOT::|name| (BOOT::|String|))
; (BOOT::|tok|
; (BOOT::|Union| (BOOT::|:| BOOT::|text| #)
; (BOOT::|:| BOOT::|lbrace| "lbrace")
; (BOOT::|:| BOOT::|rbrace| "rbrace")
; (BOOT::|:| BOOT::|macro_name| #)
; (BOOT::|:| BOOT::|eos| "eos")
; (BOOT::|:| BOOT::|error| "error"))))
; (BOOT::SEQ
; (BOOT::EXIT (BOOT::SEQ (BOOT::LETT BOOT::|lv| NIL) (BOOT::EXIT #))) #:G1119
; (BOOT::EXIT #:G1120)))
; ==>
; (LET (BOOT::|lv| #:G1120 BOOT::|cr| (BOOT::|name| "") BOOT::|tok|)
; (DECLARE (TYPE STRING BOOT::|name|))
; (BOOT::SEQ
; (BOOT::EXIT (BOOT::SEQ (BOOT::LETT BOOT::|lv| NIL) (BOOT::EXIT #)))
; #:G1119 (BOOT::EXIT #:G1120)))
;
; caught STYLE-WARNING:
; The variable |name| is assigned but never read.
;
; compilation unit finished
; caught 1 STYLE-WARNING condition
; wrote /home/kfp/Desktop/work/spad/TEXPARSE.NRLIB/TEXPARSE.fasl
; compilation finished in 0:00:00.045
------------------------------------------------------------------------
TexParser is now explicitly exposed in frame initial
TexParser will be automatically loaded when needed from
/home/kfp/Desktop/work/spad/TEXPARSE.NRLIB/TEXPARSE
CONDOCH abbreviates package ConstructorDocumentationHtml
------------------------------------------------------------------------
initializing NRLIB CONDOCH for ConstructorDocumentationHtml
compiling into NRLIB CONDOCH
importing SExpressionOperations
importing ConstructorDataBaseTools
importing String
compiling local must_escape : String -> Boolean
Time: 0 SEC.
compiling local escape_html_char : Character -> String
Time: 0 SEC.
compiling local escape_html_chars : String -> String
Time: 0 SEC.
compiling local sex_to_string : SExpression -> String
Time: 0 SEC.
compiling local lex : (String,String) -> Boolean
Time: 0 SEC.
compiling local format_head : (TextFile,String) -> Void
Time: 0 SEC.
compiling local format_view_link : (TextFile,String,String) -> Void
Time: 0 SEC.
compiling local format_type_and_arguments : (TextFile,String,List String) -> Void
Time: 0 SEC.
compiling local format_constructor_id : (TextFile,SExpression) -> Void
Time: 0 SEC.
compiling local format_type_list0 : (TextFile,List SExpression) -> Void
Time: 0 SEC.
compiling local format_field_list : (TextFile,List SExpression) -> Void
Time: 0 SEC.
compiling local format_record : (TextFile,List SExpression) -> Void
Time: 0 SEC.
compiling local format_union_fields : (TextFile,List SExpression) -> Void
Time: 0 SEC.
compiling local format_union : (TextFile,List SExpression) -> Void
Time: 0 SEC.
compiling local is_CATEGORY? : SExpression -> Boolean
Time: 0 SEC.
compiling local format_CATEGORY : (TextFile,SExpression) -> Void
Time: 0 SEC.
compiling local format_join_CATEGORY : (TextFile,SExpression) -> Void
Time: 0 SEC.
compiling local format_type : (TextFile,SExpression) -> Void
Time: 0 SEC.
processing macro definition M_rec ==> Record(name: String,args: List TeXTree)
compiling local format_tex_macro : (TextFile,Record(name: String,args: List TeXTree)) -> Void
Time: 0.01 SEC.
compiling local format_tex_tree : (TextFile,TeXTree) -> Void
Time: 0 SEC.
compiling local format_doc : (TextFile,String) -> Void
Time: 0 SEC.
compiling local format_arguments_and_types : (TextFile,List String,List SExpression) -> Void
Time: 0 SEC.
compiling local format_header : (TextFile,String,List String) -> Void
Time: 0 SEC.
compiling local format_type_list : (TextFile,List SExpression) -> Void
Time: 0 SEC.
compiling local format_signature_no_doc0 : (TextFile,SExpression,Boolean,String) -> Void
Time: 0 SEC.
compiling local format_signature_no_doc : (TextFile,SExpression,Boolean,String) -> Void
Time: 0 SEC.
compiling local format_signatures_no_doc : (TextFile,List SExpression) -> Void
Time: 0 SEC.
compiling local format_literal : (TextFile,LiteralForm SExpression) -> Void
Time: 0.01 SEC.
compiling local format_and : (TextFile,List LiteralForm SExpression) -> Void
Time: 0 SEC.
compiling local format_condition : (TextFile,DisjunctiveNormalForm SExpression) -> Void
Time: 0 SEC.
compiling local escape_link_char : Character -> String
Time: 0 SEC.
compiling local escape_link_chars : String -> String
Time: 0 SEC.
compiling local format_signature : (TextFile,SExpression,DisjunctiveNormalForm SExpression,String,SExpression,String,String) -> Void
Time: 0 SEC.
compiling local sig_compare : (SExpression,SExpression) -> Boolean
Time: 0 SEC.
compiling local format_signatures : (TextFile,ConstructorData) -> Void
Time: 0 SEC.
compiling local format_category : (TextFile,SExpression,DisjunctiveNormalForm SExpression) -> Void
Time: 0 SEC.
compiling local format_categories : (TextFile,ConstructorData) -> Void
Time: 0 SEC.
compiling local format_constructor : (String,String,String) -> Void
Time: 0 SEC.
compiling local format_link : (TextFile,String) -> Void
Time: 0 SEC.
compiling local documentConstructorsTOC : (String,List String) -> Void
Time: 0 SEC.
compiling exported documentConstructors : (String,String,XHashTable(String,Record(fn: String,pos: String,ckind: String))) -> Void
Time: 0 SEC.
(time taken in buildFunctor: 526)
Time: 0 SEC.
Semantic Errors:
[1] format_tex_macro: name is BOTH a variable and a literal
Warnings:
[1] documentConstructors: ckind has no value
Cumulative Statistics for Constructor ConstructorDocumentationHtml
Time: 0.15 seconds
finalizing NRLIB CONDOCH
Processing ConstructorDocumentationHtml for Browser database:
--->-->ConstructorDocumentationHtml(constructor): Not documented!!!!
--------(documentConstructors ((Void) (String) (String) (XHashTable (String) (Record (: fn (String)) (: pos (String)) (: ckind (String))))))---------
--->-->ConstructorDocumentationHtml(): Missing Description
; compiling file "/home/kfp/Desktop/work/spad/CONDOCH.NRLIB/CONDOCH.lsp" (written 25 DEC 2024 01:14:07 PM):
; file: /home/kfp/Desktop/work/spad/CONDOCH.NRLIB/CONDOCH.lsp
; in: SDEFUN |CONDOCH;format_field_list|
; (BOOT::SPROG
; ((BOOT::|f3| NIL) (BOOT::|#G29| (BOOT::|List| (BOOT::|SExpression|)))
; (BOOT::|f2| NIL) (BOOT::|f1| NIL)
; (BOOT::|#G28| (BOOT::|List| (BOOT::|SExpression|)))
; (BOOT::|first_time| (BOOT::|Boolean|)) (#:G1224 NIL) (BOOT::|field| NIL))
; (BOOT::SEQ (BOOT::LETT BOOT::|first_time| 'T)
; (BOOT::EXIT
; (BOOT::SEQ (BOOT::LETT BOOT::|field| NIL)
; (BOOT::LETT #:G1224 BOOT::|tl|) BOOT::G190 (COND #)
; (BOOT::SEQ # # # # # #) (BOOT::LETT #:G1224 #)
; (GO BOOT::G190) BOOT::G191 (BOOT::EXIT NIL)))))
; ==>
; (LET (BOOT::|f3|
; BOOT::|#G29|
; BOOT::|f2|
; BOOT::|f1|
; BOOT::|#G28|
; (BOOT::|first_time| NIL)
; #:G1224
; BOOT::|field|)
; (DECLARE (TYPE BOOLEAN BOOT::|first_time|))
; (BOOT::SEQ (BOOT::LETT BOOT::|first_time| 'T)
; (BOOT::EXIT
; (BOOT::SEQ (BOOT::LETT BOOT::|field| NIL)
; (BOOT::LETT #:G1224 BOOT::|tl|) BOOT::G190 (COND #)
; (BOOT::SEQ # # # # # #) (BOOT::LETT #:G1224 #)
; (GO BOOT::G190) BOOT::G191 (BOOT::EXIT NIL)))))
;
; caught STYLE-WARNING:
; The variable |f1| is assigned but never read.
; in: SDEFUN |CONDOCH;format_union_fields|
; (BOOT::SPROG
; ((BOOT::|tl1| (BOOT::|List| (BOOT::|SExpression|)))
; (BOOT::|t1| (BOOT::|SExpression|)))
; (BOOT::SEQ (BOOT::LETT BOOT::|t1| (BOOT::|SPADfirst| BOOT::|tl|))
; (BOOT::EXIT (COND (# #) ('T #)))))
; ==>
; (LET (BOOT::|tl1| BOOT::|t1|)
; (BOOT::SEQ (BOOT::LETT BOOT::|t1| (BOOT::|SPADfirst| BOOT::|tl|))
; (BOOT::EXIT (COND (# #) ('T #)))))
;
; caught STYLE-WARNING:
; The variable |tl1| is assigned but never read.
; in: SDEFUN |CONDOCH;sig_compare|
; (BOOT::SDEFUN BOOT::|CONDOCH;sig_compare|
; ((BOOT::|s1| (BOOT::|SExpression|))
; (BOOT::|s2| (BOOT::|SExpression|))
; (BOOT::% (BOOT::|Boolean|)))
; (NULL (NULL (BOOT::LEXLESSEQP BOOT::|s1| BOOT::|s2|))))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|CONDOCH;sig_compare|
; (BOOT::|s1| BOOT::|s2| BOOT::%)
; (BLOCK BOOT::|CONDOCH;sig_compare|
; (NULL (NULL (BOOT::LEXLESSEQP BOOT::|s1| BOOT::|s2|)))))
;
; caught STYLE-WARNING:
; The variable % is defined but never used.
; in: SDEFUN |CONDOCH;format_signatures|
; (BOOT::SPROG
; ((BOOT::|prev_fn| (BOOT::|String|)) (BOOT::|fn| (BOOT::|String|))
; (BOOT::|docstr| (BOOT::|String|))
; (BOOT::|cond| (BOOT::|DisjunctiveNormalForm| (BOOT::|SExpression|)))
; (BOOT::|orig| (BOOT::|SExpression|)) (BOOT::|sig1| (BOOT::|SExpression|))
; (BOOT::|catexport|
; (BOOT::|Record| (BOOT::|:| BOOT::|orig| #) (BOOT::|:| BOOT::|cond| #)
; (BOOT::|:| BOOT::|docstr| #)))
; (#:G1367 NIL) (BOOT::|catsig| NIL)
; (BOOT::|sigl| (BOOT::|List| (BOOT::|SExpression|))) (#:G1366 NIL)
; (BOOT::|sigs| (BOOT::|XHashTable| (BOOT::|String|) (BOOT::|List| #))) ...)
; (BOOT::SEQ
; (BOOT::LETT BOOT::|cex|
; (BOOT::SPADCALL BOOT::|c| (BOOT::QREFELT BOOT::% 84)))
; (BOOT::LETT BOOT::|sigs| (BOOT::SPADCALL (BOOT::QREFELT BOOT::% 86)))
; (BOOT::LETT BOOT::|sigl| NIL)
; (BOOT::SEQ (BOOT::LETT BOOT::|catsig| NIL)
; (BOOT::LETT #:G1366 (BOOT::SPADCALL BOOT::|cex| #)) BOOT::G190
; (COND (# #)) (BOOT::SEQ (BOOT::EXIT #))
; (BOOT::LETT #:G1366 (CDR #:G1366)) (GO BOOT::G190) BOOT::G191
; (BOOT::EXIT NIL))
; (BOOT::LETT BOOT::|sigl|
; (BOOT::SPADCALL (CONS # BOOT::%) BOOT::|sigl|
; (BOOT::QREFELT BOOT::% 89)))
; (BOOT::LETT BOOT::|prev_fn| "")
; (BOOT::SEQ (BOOT::LETT BOOT::|catsig| NIL)
; (BOOT::LETT #:G1367 BOOT::|sigl|) BOOT::G190 (COND (# #))
; (BOOT::SEQ (BOOT::LETT BOOT::|catexport| #)
; (BOOT::LETT BOOT::|sig1| #)
; (BOOT::LETT BOOT::|orig| #)
; (BOOT::LETT BOOT::|cond| #)
; (BOOT::LETT BOOT::|docstr| #)
; (BOOT::LETT BOOT::|fn| #)
; (BOOT::|CONDOCH;format_signature| BOOT::|f|
; BOOT::|sig1| BOOT::|cond| BOOT::|docstr|
; BOOT::|orig| BOOT::|fn| BOOT::|prev_fn| BOOT::%)
; (BOOT::EXIT #))
; (BOOT::LETT #:G1367 (CDR #:G1367)) (GO BOOT::G190) BOOT::G191
; (BOOT::EXIT NIL))
; (BOOT::EXIT (BOOT::SPADCALL (BOOT::QREFELT BOOT::% 29)))))
; ==>
; (LET ((BOOT::|prev_fn| "")
; (BOOT::|fn| "")
; (BOOT::|docstr| "")
; BOOT::|cond|
; BOOT::|orig|
; BOOT::|sig1|
; BOOT::|catexport|
; #:G1367
; BOOT::|catsig|
; BOOT::|sigl|
; #:G1366
; BOOT::|sigs|
; ...)
; (DECLARE (TYPE STRING BOOT::|prev_fn|))
; (DECLARE (TYPE STRING BOOT::|fn|))
; (DECLARE (TYPE STRING BOOT::|docstr|))
; (BOOT::SEQ
; (BOOT::LETT BOOT::|cex|
; (BOOT::SPADCALL BOOT::|c| (BOOT::QREFELT BOOT::% 84)))
; (BOOT::LETT BOOT::|sigs| (BOOT::SPADCALL (BOOT::QREFELT BOOT::% 86)))
; (BOOT::LETT BOOT::|sigl| NIL)
; (BOOT::SEQ (BOOT::LETT BOOT::|catsig| NIL)
; (BOOT::LETT #:G1366 (BOOT::SPADCALL BOOT::|cex| #)) BOOT::G190
; (COND (# #)) (BOOT::SEQ (BOOT::EXIT #))
; (BOOT::LETT #:G1366 (CDR #:G1366)) (GO BOOT::G190) BOOT::G191
; (BOOT::EXIT NIL))
; (BOOT::LETT BOOT::|sigl|
; (BOOT::SPADCALL (CONS # BOOT::%) BOOT::|sigl|
; (BOOT::QREFELT BOOT::% 89)))
; (BOOT::LETT BOOT::|prev_fn| "")
; (BOOT::SEQ (BOOT::LETT BOOT::|catsig| NIL)
; (BOOT::LETT #:G1367 BOOT::|sigl|) BOOT::G190 (COND (# #))
; (BOOT::SEQ (BOOT::LETT BOOT::|catexport| #)
; (BOOT::LETT BOOT::|sig1| #)
; (BOOT::LETT BOOT::|orig| #)
; (BOOT::LETT BOOT::|cond| #)
; (BOOT::LETT BOOT::|docstr| #)
; (BOOT::LETT BOOT::|fn| #)
; (BOOT::|CONDOCH;format_signature| BOOT::|f|
; BOOT::|sig1| BOOT::|cond| BOOT::|docstr|
; BOOT::|orig| BOOT::|fn| BOOT::|prev_fn| BOOT::%)
; (BOOT::EXIT #))
; (BOOT::LETT #:G1367 (CDR #:G1367)) (GO BOOT::G190) BOOT::G191
; (BOOT::EXIT NIL))
; (BOOT::EXIT (BOOT::SPADCALL (BOOT::QREFELT BOOT::% 29)))))
;
; caught STYLE-WARNING:
; The variable |sigs| is assigned but never read.
; in: SDEFUN |CONDOCH;format_category|
; (BOOT::SDEFUN BOOT::|CONDOCH;format_category|
; ((BOOT::|f| (BOOT::|TextFile|))
; (BOOT::|catsig| (BOOT::|SExpression|))
; (BOOT::|cond|
; (BOOT::|DisjunctiveNormalForm| (BOOT::|SExpression|)))
; (BOOT::% (BOOT::|Void|)))
; (BOOT::SEQ
; (BOOT::SPADCALL BOOT::|f| "<p>" (BOOT::QREFELT BOOT::% 27))
; (BOOT::|CONDOCH;format_type| BOOT::|f| BOOT::|catsig| BOOT::%)
; (BOOT::EXIT
; (BOOT::SPADCALL BOOT::|f| (BOOT::QREFELT BOOT::% 91)))))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
; #'(SB-INT:NAMED-LAMBDA BOOT::|CONDOCH;format_category|
; (BOOT::|f| BOOT::|catsig| BOOT::|cond| BOOT::%)
; (BLOCK BOOT::|CONDOCH;format_category|
; (BOOT::SEQ (BOOT::SPADCALL BOOT::|f| "<p>" (BOOT::QREFELT BOOT::% 27))
; (BOOT::|CONDOCH;format_type| BOOT::|f| BOOT::|catsig|
; BOOT::%)
; (BOOT::EXIT (BOOT::SPADCALL BOOT::|f| #)))))
;
; caught STYLE-WARNING:
; The variable |cond| is defined but never used.
; file: /home/kfp/Desktop/work/spad/CONDOCH.NRLIB/CONDOCH.lsp
; in: SDEFUN |CONDOCH;format_categories|
; (BOOT::LETT #:G1378 BOOT::|$NoValue|)
; ==>
; (THE T BOOT::|$NoValue|)
;
; caught WARNING:
; undefined variable: BOOT::|$NoValue|
;
; compilation unit finished
; Undefined variable:
; |$NoValue|
; caught 1 WARNING condition
; caught 5 STYLE-WARNING conditions
; wrote /home/kfp/Desktop/work/spad/CONDOCH.NRLIB/CONDOCH.fasl
; compilation finished in 0:00:00.252
------------------------------------------------------------------------
ConstructorDocumentationHtml is now explicitly exposed in frame
initial
ConstructorDocumentationHtml will be automatically loaded when
needed from /home/kfp/Desktop/work/spad/CONDOCH.NRLIB/CONDOCH
CONDOC abbreviates package ConstructorDocumentation
------------------------------------------------------------------------
initializing NRLIB CONDOC for ConstructorDocumentation
compiling into NRLIB CONDOC
compiling exported readConstructors : String -> XHashTable(String,Record(fn: String,pos: String,ckind: String))
Time: 0 SEC.
compiling exported documentAll : String -> Void
Time: 0 SEC.
(time taken in buildFunctor: 66)
;;; *** |ConstructorDocumentation| REDEFINED
;;; *** |ConstructorDocumentation| REDEFINED
Time: 0 SEC.
Cumulative Statistics for Constructor ConstructorDocumentation
Time: 0.01 seconds
finalizing NRLIB CONDOC
Processing ConstructorDocumentation for Browser database:
--->/home/kfp/Desktop/work/spad/api.spad-->ConstructorDocumentation(constructor): Not documented!!!!
--------(documentAll ((Void) (String)))---------
--->/home/kfp/Desktop/work/spad/api.spad-->ConstructorDocumentation((documentAll ((Void) (String)))): Missing left pren
"\\spad{documentAll(path)} takes as argument \\indented{1}{a \\spad{path} to a file that contains lines in the form} \"FILENAME LINENUMBER KIND ABBREV CONSTRUCTOR\" which looks,{} for example,{} like this \"acplot 48 domain ACPLOT PlaneAlgebraicCurvePlot\" and writes out for each constructor \\spad{X} a file with name \\spad{X}.\\spad{rst} that contains the API description,{} \\spadignore{i.e.} docstring and a list of exported function names together with their types. Additionally,{} the following 4 files will be output: \\indented{1}{index.\\spad{rst}\\space{7}\\spad{--} an overview page} \\indented{1}{Categories.\\spad{rst}\\space{2}\\spad{--} a list of\\space{2}all categories} \\indented{1}{Damain.\\spad{rst}\\space{6}\\spad{--} a list of all domains} \\indented{1}{Packages.\\spad{rst}\\space{4}\\spad{--} a list of all domains} The lines in the input file denote the constructors that are going to be output. The ABBREV column is currently unused. The FILENAME and LINENUMBER denote the .spad file and the corresponding line number where the constructor is defined. The KIND,{} ABBREV,{} and CONSTRUCTOR columns are as they appear in the \")abbrev\" declaration in the respective file. The FILENAME,{} LINENUMBER and docurl will be used to construct a link to the source code in the form \"\\${PACKAGE_SOURCE_VIEW}/api/\\${FILENAME}.spad\\#L\\${LINENUMBER}\\spad{`\"} where PACKAGE_SOURCE_VIEW is,{} in fact,{} given through the role \":viewcode:\" that is defined in the sphinx/source/conf.py file like this: \\indented{2}{extlinks = {'viewsource\\spad{':}(PACKAGE_SOURCE_VIEW + \\spad{'/}\\%\\spad{s'},{} \\spad{''}),{}} \\indented{14}{'viewcode\\spad{':}(PACKAGE_SOURCE_VIEW + '/src/algebra/\\%\\spad{s'},{} \\spad{''}),{}} \\indented{14}{'editcode\\spad{':}(PACKAGE_SOURCE_EDIT + '/src/algebra/\\%\\spad{s'},{} \\spad{''}),{}} \\indented{14}{'fricasapi\\spad{':}(FRICAS_URL + '/api/\\%\\spad{s'},{} \\spad{''})} \\indented{13}{}} If the constructor is not listed in the file that is given by the parameter \\spad{path},{} it will for example,{} be output as \\indented{2}{:fricasapi:`Integer <Integer>`} which eventually results in a link to the FriCAS API page."
--------(readConstructors ((XHashTable (String) (Record (: fn (String)) (: pos (String)) (: ckind (String)))) (String)))---------
--->/home/kfp/Desktop/work/spad/api.spad-->ConstructorDocumentation(): Missing Description
; compiling file "/home/kfp/Desktop/work/spad/CONDOC.NRLIB/CONDOC.lsp" (written 25 DEC 2024 01:14:07 PM):
; wrote /home/kfp/Desktop/work/spad/CONDOC.NRLIB/CONDOC.fasl
; compilation finished in 0:00:00.019
------------------------------------------------------------------------
ConstructorDocumentation is already explicitly exposed in frame
initial
ConstructorDocumentation will be automatically loaded when needed
from /home/kfp/Desktop/work/spad/CONDOC.NRLIB/CONDOC
(6) -> documentAll("abbrev-lines.list")
"AbelianGroup"
"AbelianMonoid"
"AbelianMonoidRing"
"AbelianProductCategory"
"AbelianSemiGroup"
"additiveValuation"
"Aggregate"
"Algebra"
"AlgebraicallyClosedField"
"AlgebraicallyClosedFunctionSpace"
"Approximate"
"arbitraryExponent"
"arbitraryPrecision"
"ArcHyperbolicFunctionCategory"
"ArcTrigonometricFunctionCategory"
"AssociationListAggregate"
"BagAggregate"
"BasicType"
"Bialgebra"
"BiCPO"
"BiModule"
"BinaryRecursiveAggregate"
"BinaryTreeCategory"
"BitAggregate"
"BoundedDistributiveLattice"
"BoundedJoinSemilattice"
"BoundedLattice"
"BoundedMeetSemilattice"
"CachableSet"
"CancellationAbelianMonoid"
"Canonical"
"canonicalsClosed"
"canonicalUnitNormal"
"CharacteristicNonZero"
"CharacteristicZero"
"Coalgebra"
"CoDcpo"
"CoercibleFrom"
"CoercibleTo"
"Collection"
"CombinatorialFunctionCategory"
"CombinatorialOpsCategory"
"CommutativeRing"
"CommutativeStar"
"Comparable"
"ComplexCategory"
"ConvertibleFrom"
"ConvertibleTo"
"Dcpo"
"DequeueAggregate"
"Dictionary"
"DictionaryOperations"
"DifferentialExtension"
"DifferentialPolynomialCategory"
"DifferentialRing"
"DifferentialVariableCategory"
"DirectProductCategory"
"DistributionCategory"
"DistributiveLattice"
"DivisionRing"
"DoublyLinkedAggregate"
"ElementaryFunctionCategory"
"Eltable"
"EltableAggregate"
"EntireRing"
"EuclideanDomain"
"Evalable"
"ExpressionSpace"
"ExtensibleLinearAggregate"
"ExtensionField"
"FacetCategory"
"Field"
"FieldOfPrimeCharacteristic"
"FileCategory"
"FileNameCategory"
"Finite"
"FiniteAbelianMonoidRing"
"finiteAggregate"
"FiniteAlgebraicExtensionField"
"FiniteDivisorCategory"
"FiniteFieldCategory"
"FiniteGraph"
"FiniteGroup"
"FiniteLinearAggregate"
"FinitelyGenerated"
"FiniteRankAlgebra"
"FiniteRankNonAssociativeAlgebra"
"FiniteSetAggregate"
"FloatingPointSystem"
"FormatterCategory"
"FortranFunctionCategory"
"FortranMachineTypeCategory"
"FortranMatrixCategory"
"FortranMatrixFunctionCategory"
"FortranProgramCategory"
"FortranVectorCategory"
"FortranVectorFunctionCategory"
"FramedAlgebra"
"FramedModule"
"FramedNonAssociativeAlgebra"
"FreeLieAlgebra"
"FreeModuleCategory"
"FullyEvalableOver"
"FullyLinearlyExplicitOver"
"FullyPatternMatchable"
"FullyRetractableTo"
"FunctionFieldCategory"
"FunctionSpace"
"GcdDomain"
"GradedAlgebra"
"GradedModule"
"Group"
"Hashable"
"HomogeneousAggregate"
"HopfAlgebra"
"HyperbolicFunctionCategory"
"IndexedAggregate"
"IndexedDirectProductCategory"
"IndexedProductCategory"
"InnerEvalable"
"IntegerNumberSystem"
"IntegralDomain"
"IntervalCategory"
"JetBundleBaseFunctionCategory"
"JetBundleCategory"
"JetBundleFunctionCategory"
"JoinSemilattice"
"KernelCategory"
"KeyedDictionary"
"Lattice"
"lazyRepresentation"
"LazyStreamAggregate"
"LeftAlgebra"
"LeftModule"
"LeftOreRing"
"LieAlgebra"
"LinearAggregate"
"LinearlyExplicitOver"
"LinearOrdinaryDifferentialOperatorCategory"
"LiouvillianFunctionCategory"
"ListAggregate"
"Logic"
"Magma"
"MagmaWithUnit"
"MatrixCategory"
"MaybeSkewPolynomialCategory"
"MeetSemilattice"
"ModularAlgebraicGcdOperations"
"ModularEvaluationCategory"
"ModularFactorizationOperations"
"Module"
"MonogenicAlgebra"
"Monoid"
"MonoidRingCategory"
"MultiDictionary"
"multiplicativeValuation"
"MultisetAggregate"
"MultivariateSkewPolynomialCategory"
"MultivariateTaylorSeriesCategory"
"NonAssociativeAlgebra"
"NonAssociativeRing"
"NonAssociativeRng"
"NonAssociativeSemiRing"
"NonAssociativeSemiRng"
"NormalizedTriangularSetCategory"
"noZeroDivisors"
"OctonionCategory"
"OneDimensionalArrayAggregate"
"OpenMath"
"OrderedAbelianGroup"
"OrderedAbelianMonoid"
"OrderedAbelianMonoidSup"
"OrderedAbelianSemiGroup"
"OrderedCancellationAbelianMonoid"
"OrderedFinite"
"OrderedIntegralDomain"
"OrderedMonoid"
"OrderedMultisetAggregate"
"OrderedRing"
"OrderedSemiGroup"
"OrderedSet"
"OutputFormatterCategory"
"PAdicIntegerCategory"
"PartialDifferentialRing"
"PartialOrder"
"PartialTranscendentalFunctions"
"Patternable"
"PatternMatchable"
"PermutationCategory"
"PlottablePlaneCurveCategory"
"PlottableSpaceCurveCategory"
"PointCategory"
"PolynomialCategory"
"PolynomialFactorizationExplicit"
"PolynomialSetCategory"
"Poset"
"PowerSeriesCategory"
"Preorder"
"PrimitiveFunctionCategory"
"PrincipalIdealDomain"
"PriorityQueueAggregate"
"QuaternionCategory"
"QueueAggregate"
"QuotientFieldCategory"
"RadicalCategory"
"RealClosedField"
"RealConstant"
"RealNumberSystem"
"RealRootCharacterizationCategory"
"RectangularMatrixCategory"
"RecursiveAggregate"
"RecursivePolynomialCategory"
"RegularTriangularSetCategory"
"RetractableFrom"
"RetractableTo"
"RightModule"
"Ring"
"Rng"
"SegmentCategory"
"SegmentExpansionCategory"
"SemiGroup"
"SemiRing"
"SemiRng"
"SequenceCategory"
"SetAggregate"
"SetCategory"
"SExpressionCategory"
"shallowlyMutable"
"SolvableSkewPolynomialCategory"
"SpecialFunctionCategory"
"SPointCategory"
"SquareFreeNormalizedTriangularSetCategory"
"SquareFreeRegularTriangularSetCategory"
"SquareMatrixCategory"
"StackAggregate"
"StepThrough"
"StreamAggregate"
"StringAggregate"
"StringCategory"
"TableAggregate"
"TaylorSeriesExpansion"
"TensorPowerCategory"
"TensorProductCategory"
"TensorProductProperty"
"ThreeSpaceCategory"
"TranscendentalFunctionCategory"
"TriangularSetCategory"
"TrigonometricFunctionCategory"
"TwoDimensionalArrayCategory"
"TwoSidedRecip"
"Type"
"UnaryRecursiveAggregate"
"UniqueFactorizationDomain"
"unitsKnown"
"UnivariateLaurentSeriesCategory"
"UnivariateLaurentSeriesConstructorCategory"
"UnivariatePolynomialCategory"
"UnivariatePowerSeriesCategory"
"UnivariatePuiseuxSeriesCategory"
"UnivariatePuiseuxSeriesConstructorCategory"
"UnivariateSeriesWithRationalExponents"
"UnivariateSkewPolynomialCategory"
"UnivariateTaylorSeriesCategory"
"VarCat"
"VariablesCommuteWithCoefficients"
"VectorCategory"
"XAlgebra"
"XFreeAlgebra"
"XPolynomialsCat"
"AlgebraGivenByStructuralConstants"
"AlgebraicFunctionField"
"AlgebraicNumber"
"AnonymousFunction"
"AntiSymm"
"Any"
"ArrayStack"
"AssociatedJordanAlgebra"
"AssociatedLieAlgebra"
"AssociationList"
"Automorphism"
"BalancedBinaryTree"
"BalancedPAdicInteger"
"BalancedPAdicRational"
"BasicOperator"
"BinaryExpansion"
"BinarySearchTree"
"BinaryTournament"
"BinaryTree"
"Bits"
"BitStreamFrame"
"Boolean"
"CardinalNumber"
"CartesianTensor"
"Cell"
"ChainComplex"
"Character"
"CharacterClass"
"CliffordAlgebra"
"CoChainComplex"
"Color"
"Commutator"
"Complex"
"ComplexDoubleFloatMatrix"
"ComplexDoubleFloatVector"
"ContinuedFraction"
"CubicalFacet"
"CyclicGroup"
"Database"
"DataList"
"DecimalExpansion"
"DeltaComplex"
"DenavitHartenbergMatrix"
"Dequeue"
"DeRhamComplex"
"DifferentialSparseMultivariatePolynomial"
"DihedralGroup"
"DirectedGraph"
"DirectProduct"
"DirectProductMatrixModule"
"DirectProductModule"
"DirichletRing"
"DistributedJetBundlePolynomial"
"DistributedMultivariatePolynomial"
"Distribution"
"DoubleFloat"
"DoubleFloatMatrix"
"DoubleFloatVector"
"DrawOption"
"EqTable"
"Equation"
"EuclideanModularRing"
"Exit"
"ExponentialExpansion"
"ExponentialOfUnivariatePuiseuxSeries"
"Expression"
"ExtAlgBasis"
"Factored"
"FakePolynomial"
"File"
"FileName"
"FiniteBiCPO"
"FiniteCoDcpo"
"FiniteCubicalComplex"
"FiniteDcpo"
"FiniteDivisor"
"FiniteField"
"FiniteFieldCyclicGroup"
"FiniteFieldCyclicGroupExtension"
"FiniteFieldCyclicGroupExtensionByPolynomial"
"FiniteFieldExtension"
"FiniteFieldExtensionByPolynomial"
"FiniteFieldNormalBasis"
"FiniteFieldNormalBasisExtension"
"FiniteFieldNormalBasisExtensionByPolynomial"
"FiniteLattice"
"FiniteMoebiusFunction"
"FinitePoset"
"FiniteSimplicialComplex"
"FlexibleArray"
"Float"
"Format1D"
"Format2D"
"FormatLaTeX"
"FormatMathJax"
"FormattedOutput"
"Formatter"
"FortranCode"
"FortranExpression"
"FortranFormat"
"FortranProgram"
"FortranScalarType"
"FortranTemplate"
"FortranType"
"FourierComponent"
"FourierSeries"
"Fraction"
"FractionalIdeal"
"FractionalIdealAsModule"
"FreeDivisionAlgebra"
"FreeGroup"
"FreeMagma"
"FreeModule"
"FreeMonoid"
"FreeNilpotentLie"
"FullPartialFractionExpansion"
"FunctionCalled"
"FunctionGraph"
"GeneralDistributedMultivariatePolynomial"
"GeneralizedFiniteMoebiusFunction"
"GeneralizedUnivariatePowerSeries"
"GeneralModulePolynomial"
"GeneralPolynomialSet"
"GeneralQuaternion"
"GeneralSparseTable"
"GeneralTriangularSet"
"GeneralUnivariatePowerSeries"
"GenericNonAssociativeAlgebra"
"GraphImage"
"GroupPresentation"
"GuessOption"
"HashState"
"HashTable"
"Heap"
"HexadecimalExpansion"
"HomogeneousDirectProduct"
"HomogeneousDistributedMultivariatePolynomial"
"Homology"
"HTMLFormat"
"HyperellipticFiniteDivisor"
"I16Matrix"
"I16Vector"
"I32Matrix"
"I32Vector"
"I8Matrix"
"I8Vector"
"ILogic"
"IncidenceAlgebra"
"IndexCard"
"IndexedBits"
"IndexedDirectProductObject"
"IndexedExponents"
"IndexedFlexibleArray"
"IndexedJetBundle"
"IndexedList"
"IndexedMatrix"
"IndexedOneDimensionalArray"
"IndexedString"
"IndexedTwoDimensionalArray"
"IndexedVector"
"InfiniteCyclicGroup"
"InfiniteTuple"
"InnerFiniteField"
"InnerIndexedTwoDimensionalArray"
"InnerPAdicInteger"
"InnerPrimeField"
"InnerSparseUnivariatePowerSeries"
"InnerTable"
"InnerTaylorSeries"
"InputForm"
"Integer"
"IntegerLocalizedAtPrime"
"IntegerMod"
"IntegrationResult"
"Interval"
"JetBundle"
"JetBundleExpression"
"JetBundleLinearFunction"
"JetBundlePolynomial"
"JetBundleSymAna"
"JetBundleXExpression"
"JetDifferential"
"JetDifferentialEquation"
"JetLazyFunction"
"JetVectorField"
"Kernel"
"KeyedAccessFile"
"Lambda"
"LatticeJoinOfMeets"
"LatticeMeetOfJoins"
"LaurentPolynomial"
"Library"
"LieExponentials"
"LiePolynomial"
"LieSquareMatrix"
"LinearMultivariateMatrixPencil"
"LinearOrdinaryDifferentialOperator"
"LinearOrdinaryDifferentialOperator1"
"LinearOrdinaryDifferentialOperator2"
"LinearOrdinaryDifferentialOperator3"
"List"
"ListMonoidOps"
"ListMultiDictionary"
"LocalAlgebra"
"Localize"
"Loop"
"LyndonWord"
"MachineComplex"
"MachineFloat"
"MachineInteger"
"MakeCachableSet"
"MathMLFormat"
"Matrix"
"ModMonic"
"ModularField"
"ModularRing"
"ModuleMonomial"
"ModuleOperator"
"MoebiusTransform"
"MonoidRing"
"MultifunctionGraph"
"Multiset"
"MultivariatePolynomial"
"NewSparseMultivariatePolynomial"
"NewSparseUnivariatePolynomial"
"None"
"NonNegativeInteger"
"NonNegativeRational"
"Octonion"
"OneDimensionalArray"
"OnePointCompletion"
"OpenMathConnection"
"OpenMathDevice"
"OpenMathEncoding"
"OpenMathError"
"OpenMathErrorKind"
"Operator"
"OperatorHandlers"
"OrderedCompletion"
"OrderedDirectProduct"
"OrderedExpression"
"OrderedVariableList"
"OrderlyDifferentialPolynomial"
"OrderlyDifferentialVariable"
"OrdinaryDifferentialRing"
"OrdinaryWeightedPolynomials"
"OrdSetInts"
"OrientedFacet"
"OutputBox"
"OutputForm"
"PAdicInteger"
"PAdicRational"
"PAdicRationalConstructor"
"Palette"
"ParametricComplexCurve"
"ParametricPlaneCurve"
"ParametricSpaceCurve"
"ParametricSurface"
"PartialDifferentialOperator"
"PartialFraction"
"Partition"
"Pattern"
"PatternMatchListResult"
"PatternMatchResult"
"PendantTree"
"Permutation"
"PermutationGroup"
"PiDomain"
"PlaneAlgebraicCurvePlot"
"Plot"
"Plot3D"
"PoincareBirkhoffWittLyndonBasis"
"Point"
"Polynomial"
"PolynomialIdeal"
"PolynomialRing"
"PositiveInteger"
"PrimeField"
"PrimitiveArray"
"PrimitiveTwoDimensionalArray"
"Product"
"ProductFacet"
"QuadraticForm"
"QuasiAlgebraicSet"
"Quaternion"
"QueryEquation"
"Queue"
"RadicalFunctionField"
"RadixExpansion"
"RealClosure"
"RectangularMatrix"
"Reference"
"RegularChain"
"RegularTriangularSet"
"ResidueRing"
"Result"
"RewriteRule"
"RightOpenIntervalRootCharacterization"
"RomanNumeral"
"RuleCalled"
"Ruleset"
"SArgand"
"SBoundary"
"SCartesian"
"Scene"
"SceneIFS"
"SceneNamedPoints"
"SConformal"
"Segment"
"SegmentBinding"
"Sequence"
"SequentialDifferentialPolynomial"
"SequentialDifferentialVariable"
"Set"
"SetOfMIntegersInOneToN"
"SExpression"
"SExpressionOf"
"SimpleAlgebraicExtension"
"SimpleCell"
"SimpleFortranProgram"
"SingleInteger"
"SingletonAsOrderedSet"
"SKICombinators"
"SmallOrdinal"
"SortedExponentVector"
"SparseEchelonMatrix"
"SparseMultivariatePolynomial"
"SparseMultivariatePolynomialExpressions"
"SparseMultivariateSkewPolynomial"
"SparseMultivariateTaylorSeries"
"SparseTable"
"SparseUnivariateLaurentSeries"
"SparseUnivariatePolynomial"
"SparseUnivariatePuiseuxSeries"
"SparseUnivariateSkewPolynomial"
"SparseUnivariateTaylorSeries"
"SplitHomogeneousDirectProduct"
"SplittingNode"
"SplittingTree"
"SquareFreeRegularTriangularSet"
"SquareMatrix"
"Stack"
"STransform"
"Stream"
"String"
"StringTable"
"SubsetLattice"
"SubSpace"
"SubSpaceComponentProperty"
"SuchThat"
"Switch"
"Symbol"
"SymbolTable"
"SymmetricPolynomial"
"Table"
"Tableau"
"TaylorSeries"
"TensorPower"
"TensorProduct"
"TexFormat"
"TexmacsFormat"
"TextFile"
"TheSymbolTable"
"ThreeDimensionalMatrix"
"ThreeDimensionalViewport"
"ThreeSpace"
"Tree"
"TubePlot"
"Tuple"
"TwoDimensionalArray"
"TwoDimensionalViewport"
"Typed"
"U16Matrix"
"U16Vector"
"U32Matrix"
"U32Vector"
"U64Int"
"U8Matrix"
"U8Vector"
"UndirectedGraph"
"UnivariateFormalPowerSeries"
"UnivariateLaurentSeries"
"UnivariateLaurentSeriesConstructor"
"UnivariatePolynomial"
"UnivariatePuiseuxSeries"
"UnivariatePuiseuxSeriesConstructor"
"UnivariatePuiseuxSeriesWithExponentialSingularity"
"UnivariateSkewPolynomial"
"UnivariateTaylorSeries"
"UniversalSegment"
"Untyped"
"Variable"
"Vector"
"VectorIntegerReconstructor"
"VectorModularReconstructor"
"VectorSpaceBasis"
"Void"
"WeightedGraph"
"WeightedPolynomials"
"WuWenTsunTriangularSet"
"XDistributedPolynomial"
"XHashTable"
"XmlAttribute"
"XmlElement"
"XPBWPolynomial"
"XPolynomial"
"XPolynomialRing"
"XRecursivePolynomial"
"AlgebraicFunction"
"AlgebraicHermiteIntegration"
"AlgebraicIntegrate"
"AlgebraicIntegrate2"
"AlgebraicIntegration"
"AlgebraicManipulations"
"AlgebraicMultFact"
"AlgebraPackage"
"AlgFactor"
"AnyFunctions1"
"ApplyRules"
"ApplyUnivariateSkewPolynomial"
"AssociatedEquations"
"AttachPredicates"
"BalancedFactorisation"
"BasicOperatorFunctions1"
"BezoutMatrix"
"BezoutMatrixWrapper"
"BoundIntegerRoots"
"BrillhartTests"
"CartanKuranishi"
"CartesianTensorFunctions2"
"ChangeOfVariable"
"CharacteristicPolynomial2"
"CharacteristicPolynomial3"
"CharacteristicPolynomialInMonogenicalAlgebra"
"CharacteristicPolynomialPackage"
"ChineseRemainderToolsForIntegralBases"
"CoerceVectorMatrixPackage"
"CombinatorialFunction"
"CommonDenominator"
"CommonOperators"
"CommuteUnivariatePolynomialCategory"
"compCode"
"ComplexFunctions2"
"ComplexIntegerSolveLinearPolynomialEquation"
"ComplexPattern"
"ComplexPatternMatch"
"ComplexRootFindingPackage"
"ComplexRootPackage"
"ComplexTrigonometricManipulations"
"compUtil"
\x
>> Error detected within library code:
parse_macro: unknown macro name
(6) -> )version
"FriCAS 2024-04-15 compiled at Wed Apr 24 04:36:24 PM CEST 2024"
(6) ->
