What is the file
> ./lib/fricas/target/x86_64-unknown-linux/algebra/libdb.text
actually used for?
A closer look suggests, that HyperDoc cannot be using
it, because the information in libdb.text is incomplete.
For example, for
========================
AlgebraGivenByStructuralConstants(R : Field, n : PositiveInteger, _
ls : List Symbol, gamma : Vector Matrix R ) : public == private where
V ==> Vector
M ==> Matrix
I ==> Integer
NNI ==> NonNegativeInteger
REC ==> Record(particular: Union(V R,"failed"),basis: List V R)
LSMP ==> LinearSystemMatrixPackage(R, V R, V R, M R)
--public ==> FramedNonAssociativeAlgebra(R) with
public ==> Join(FramedNonAssociativeAlgebra(R), _
LeftModule(SquareMatrix(n, R)) ) with
...
=========================
I see a line like (split for better readability)
dAlgebraGivenByStructuralConstants
`4
`x
`(R:Field,n:PositiveInteger,List(Symbol),Vector(Matrix(R)))->Join(FramedNonAssociativeAlgebra(R),etc)
`(R,n,ls,gamma)
`ALGSC
`56137
the "etc" bothers me. And also why is it just saying "List(Symbol)" and
not "ls:List(Symbol)" as it is done for the first argument "R:Field"?
Looks like libdb.text is actually useless to build an alternative to
HyperDoc. :-(
Some words of why libdb.text is actually present would be appreciated.
Ralf
--
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 http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
