On Wed, Jan 22, 2025 at 01:20:41AM -0800, Fabian Hassler wrote:
> Thanks for the fast reply. I am far away of producing any package that is
> useful for somebody else ;-)
>
> I have to say that the steps that you propose do not work for me. Do I have
> to be in any specific directory to make it work.
>
> What I do: I am in some local folder (independent of the folder where
> fricas is installed). I have the following source:
>
> --- content of quad.spad ---
<snip>
> I do start fricas from the command line (Hyperdoc opens in an xwindow). I
> do compile ")compile quad.spad". Then I search for myQuadraticForm or
> MyQuadraticForm but I do not find anything (even after closing and
> reopening of the window).
Which version are you using?
I wrote code that you provided to file 'quad.spad'. Then using
developement version of FriCAS, at FriCAS prompt I did:
)compile quad.spad
which produced several messages including the following block:
Processing MyQuadraticForm for Browser database:
--------constructor---------
--------(myQuadraticForm (% (SquareMatrix n K)))---------
--------(matrix ((SquareMatrix n K) %))---------
--------(elt (K % (DirectProduct n K)))---------
Ater that, in the same FriCAS session, HyperDoc search for
constructors found MyQuadraticForm and HyperDoc search for
operations found myQuadraticForm.
If I restart FriCAS, then it forgets about new domain. One
can do
)boot $createLocalLibDb := true
This causes FriCAS to write information obout new operations
to a file which is automatically read when you restart
FriCAS in the same dorectory. To see info about constructor
(and to be able to use it), do
)lib MYFORM
after restarting FriCAS.
When I tried fricas-1.3.11 (that is latest release) after
compiling I was able to see info about constructior but
info about operations was missing. However, after setting
'$createLocalLibDb' to true (like above) info about new
operation showed up.
--
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/Z5DT08oGgkHPviwJ%40fricas.org.
