Kenzo package

87 views
Skip to first unread message

Marc Culler

unread,
May 8, 2026, 11:33:22 AMMay 8
to sage-devel
When I ran the sage test suite on the forthcoming AppImage release of sage 10.9 I found that the kenzo package failed 266 of 418 tests.  As far as I can tell by scrolling through the list all failures are NameError exceptions for variables such as __sphere__ and S2.

Is this a known issue or something special for me only?

- Marc

mmarco

unread,
Jun 26, 2026, 8:29:47 AM (9 days ago) Jun 26
to sage-devel
Is kenzo included in the Appimage?

Marc Culler

unread,
Jun 26, 2026, 8:33:33 AM (9 days ago) Jun 26
to sage-devel
Yes 

- Marc

--
You received this message because you are subscribed to a topic in the Google Groups "sage-devel" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/sage-devel/oxTCe4QHw8Q/unsubscribe.
To unsubscribe from this group and all its topics, send an email to sage-devel+...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/sage-devel/2ba40e54-9b47-4ab3-b1e2-7bdcce59d867n%40googlegroups.com.

mmarco

unread,
Jun 26, 2026, 9:54:42 AM (9 days ago) Jun 26
to sage-devel
My guess is when starting kenzo, it is not looking for kenzo.fas in the right place. Somehow the environment KENZO_FAS is not constructed correctly

Dima Pasechnik

unread,
Jun 26, 2026, 11:41:34 AM (9 days ago) Jun 26
to sage-...@googlegroups.com, Marc Culler, Miguel Angel Marco
in a binary installation with no external dependencies, kenzo.fas
should be located in the same place as maxima.fas.
If maxima_calculus tests pass, kenzo tests ought to pass to.

One can check whether kenzo.fas (and maxima.fas) are known to sage's ecl by
starting ./sage --ecl
and at ecl prompt running

(require :kenzo)
(require :maxima)

There should be no errors.
> You received this message because you are subscribed to the Google Groups "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.
> To view this discussion visit https://groups.google.com/d/msgid/sage-devel/9a6d647b-c4e4-4b80-b1fc-2fe3e318725dn%40googlegroups.com.

Marc Culler

unread,
Jun 26, 2026, 12:12:09 PM (9 days ago) Jun 26
to sage-devel
Thanks! That sounds like a helpful lead.

- Marc

Reply all
Reply to author
Forward
0 new messages