CoCoA » CoCoALib

14 Sep 2022

21:25 Feature #1694: New expv/exponents function?

I have checked in.
*It remains to consider and maybe update every call to @exponents@ (or @BigExponents@)*
John Abbott

22 Aug 2022

17:29 Feature #1694 (Resolved): New expv/exponents function?

I have implemented the changes proposed in comment 4.
It all compiles, and all tests pass.
I'll check in soon.
John Abbott

16:01 Feature #1694: New expv/exponents function?

After discussing with Anna, we think the following redesign is a good solution:
* change existing @exponents@ so tha... John Abbott

15:34 Feature #1694 (In Progress): New expv/exponents function?

Bruns replied by email (2022-08-09):... John Abbott