On Sun, Mar 16, 2025 at 04:42:11PM +0100, Waldek Hebisch wrote:
> On Sun, Mar 16, 2025 at 03:31:43PM +0100, 'Ralf Hemmecke' via FriCAS - 
> computer algebra system wrote:
> > Wait, something must be wrong with my thinking. How would otherwise
> > getCache()$SortedCache(Kernel(AlgebraicNumber)) still return the empty list
> > although I clearly have created an element of Kernel(AN) in (2) above?
> 
> AFAICS this is really Kernel(Expression(Integer)).  They share
> representation, so in many case it does not matter if it
> is Kernel(AlgebraicNumber) or Kernel(Expression(Integer)).  But
> it matters for cache.  And once you mix kernels from two caches
> you may get weird results.
> 
> ATM I do not have good solution to this.  Correct solution would
> probably remove all traces of Kernel(AlgebraicNumber) from
> algebra code, but currently it is used in several important
> operations.

I have now removed most uses of Kernel(AlgebraicNumber).  But
remaining ones (in AlgebraicNumber) are more tricky: if I remove
several exported functions and no longer export ExpressionSpace,
then AlgebraicNumber compiles, but lacks important
functionality.

-- 
                              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/Z9lXKXgo98R3mHyU%40fricas.org.
  • [fricas-devel] Kernel... 'Ralf Hemmecke' via FriCAS - computer algebra system
    • Re: [fricas-deve... Waldek Hebisch
      • Re: [fricas-... 'Ralf Hemmecke' via FriCAS - computer algebra system
        • Re: [fri... Waldek Hebisch
          • Re: ... 'Ralf Hemmecke' via FriCAS - computer algebra system
            • ... Waldek Hebisch
              • ... 'Ralf Hemmecke' via FriCAS - computer algebra system
          • Re: ... Waldek Hebisch
            • ... 'Ralf Hemmecke' via FriCAS - computer algebra system
              • ... Waldek Hebisch

Reply via email to