Re: [fricas/fricas] "Won't parse" in HyperDoc when clicking on finiteAggregate in the Aggregate Category page (Issue #203)

[Grégory Vanuxem]

I added a comment on the offending commit:

https://github.com/fricas/fricas/issues/203#issuecomment-3365607074

Greg

Le ven. 3 oct. 2025, 11:58, Ralf Hemmecke <notifi...@github.com> a écrit :

hemmecke left a comment (fricas/fricas#203)

"Version: FriCAS 2025-04-14" ??? somehow I suspect that when you type "fricas" on the commandline you still get your old version. What does "type fricas" return in your case?

And no "spadType" is not a function. It is rather a tag in the documentation written as \spadType{finiteAggregate}. But wait. Why do you see spadType with a capital T?
src/doc/ht/util.ht indead translates \spadtype{finiteAggregate}
https://github.com/fricas/fricas/blob/master/src/algebra/aggcat.spad#L19
to |spadType|. The rest must be a problem with boot code.
But why would it work for me and not for you?

—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you authored the thread.Message ID: <fricas/fricas/issues/203/3365101595@github.com>