On Sat, Nov 14, 2020 at 10:00:12PM +0100, Ralf Hemmecke wrote:
> > Your example is iteresting, because actual failure looks
> > different than other examples.
>
> Does that mean you want to investigate further and want me to perpare a
> minimal example?
No, from your data I can produce resonably small example giving:
[1] get_it: not known that (QEtaGradedAlgebra C) is of mode (CATEGORY
domain (SIGNATURE * ($ C $)) (IF (has (Finite0Series C) (QEtaGradedAlgebra C))
(ATTRIBUTE (QEtaGradedAlgebra C)) noBranch) (IF (has (Finite0Series C)
(XEtaGradedAlgebra C)) (ATTRIBUTE (XEtaGradedAlgebra C)) noBranch))
That should be enough.
--
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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/20201114225458.GA14515%40math.uni.wroc.pl.
