Hi Waldek,
I cannot easily send all the code, because it is a bit long.
Maybe you can still give me a hint how to go on from here and perhaps to
find to real cause of the problem.
The compilation ends in the output below. That only seems to indicate
Warnings, but executing the function, shows that there is a true problem.
(8) -> Z ==> Integer
Type:
Void
(9) -> Q ==> Fraction Z
Type:
Void
(11) -> QEW ==> QEtaWork Q
Type:
Void
(12) -> etaQuotientRelations(6)$QEW
>> System error:
The function BOOT::|#| is undefined.
I somehow believe that it has something to do with this piece of code...
computeEtaQuotientRelations(
dim: N, vl: List Symbol, witnesses: LLUP): LPol ==
E ==> SplitHomogeneousDirectProduct(#vl, dim, N)
R ==> GeneralDistributedMultivariatePolynomial(vl, C, E)
OVL ==> OrderedVariableList(vl)
ovl: List OVL := enumerate()$OVL
vars := [x::R for x in ovl]
...
in particular the connection between the vl in E and R.
In fact, initially I passed #vl as argument to this function as a
parameter dimx and used dimx instead of #vl in the definition of E.
But then the compiler complained that the type of E did not match in R.
Any ideas?
Ralf
============================================
finalizing NRLIB QETAWORK
Processing QEtaWork for Browser database:
--->/home/hemmecke/backup/git/fricas/src/algebra/qeta.spad-->QEtaWork(constructor):
Not documented!!!!
--->/home/hemmecke/backup/git/fricas/src/algebra/qeta.spad-->QEtaWork((xPolynomials
((List (Polynomial C)) (List (Polynomial C)) (Character)))): Not
documented!!!!
--->/home/hemmecke/backup/git/fricas/src/algebra/qeta.spad-->QEtaWork((etaQuotientRelations
((List (Polynomial C)) (NonNegativeInteger)))): Not documented!!!!
--->/home/hemmecke/backup/git/fricas/src/algebra/qeta.spad-->QEtaWork():
Missing Description
; compiling file
"/home/hemmecke/backup/git/fricas/QETAWORK.NRLIB/QETAWORK.lsp" (written
16 DEC 2015 07:25:52 PM):
; file: /home/hemmecke/backup/git/fricas/QETAWORK.NRLIB/QETAWORK.lsp
; in: SDEFUN |QETAWORK1;computeEtaQuotientRelations!0|
; (BOOT::|#| BOOT::|vl|)
;
; caught STYLE-WARNING:
; undefined function: |#|
; in: SDEFUN |QETAWORK1;computeEtaQuotientRelations!2|
; (BOOT::|#| BOOT::|vl|)
;
; caught STYLE-WARNING:
; undefined function: |#|
; in: SDEFUN |QETAWORK1;computeEtaQuotientRelations|
; (BOOT::|#| BOOT::|vl|)
;
; caught STYLE-WARNING:
; undefined function: |#|
;
; compilation unit finished
; Undefined function:
; |#|
; caught 3 STYLE-WARNING conditions
; /home/hemmecke/backup/git/fricas/QETAWORK.NRLIB/QETAWORK.fasl written
; compilation finished in 0:00:00.066
------------------------------------------------------------------------
QEtaWork is already explicitly exposed in frame frame1
QEtaWork will be automatically loaded when needed from
/home/hemmecke/backup/git/fricas/QETAWORK.NRLIB/QETAWORK
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
