Activity

Anna Maria Bigatti's activity

From 05 Jan 2024 to 03 Feb 2024

12:10 CoCoALib Slug #1737: Homogenization of an ideal with ZZ^1-grading: By Robbiano: No need to allow homogenization by an indet whose degree is not 1. Anna Maria Bigatti
11:04 CoCoALib 0.20 hour (Slug #1737 (In Progress): Homogenization of an ideal with ZZ^1-grading): Anna Maria Bigatti
11:04 CoCoALib Slug #1737: Homogenization of an ideal with ZZ^1-grading: (2) I think we should *not* provide homogenization by an indet whose degree is not 1, because this is not entirely tr... Anna Maria Bigatti
11:00 CoCoALib Slug #1737: Homogenization of an ideal with ZZ^1-grading: By Kreuzer-Robbiano: *Corollary 4.3.20*. It requires that P is positively graded. Anna Maria Bigatti
10:03 CoCoALib 0.20 hour (Design #1750 (In Progress): IdealOfPoints: allow duplicate points?): Anna Maria Bigatti
10:03 CoCoALib Design #1750 (In Progress): IdealOfPoints: allow duplicate points?: I'm more inclined to suggest @IdealOfPoints(R, MakeSet(pts))@ in the manual, if one wants to allow duplicates. Maybe... Anna Maria Bigatti

15:52 CoCoA-5 Bug #1623: EmacsUI: annoying colours: New suggestion (the most compact I can think of)... Anna Maria Bigatti

13:18 CoCoA 2.00 hours (Support #1774 (Feedback): Look of first Redmine page linked from CoCoA web page): Anna Maria Bigatti
13:18 CoCoA Support #1774 (Feedback): Look of first Redmine page linked from CoCoA web page: I changed this page, which may be updated only by admin, so that it just contains links to other pages.
It now refer... Anna Maria Bigatti
11:53 CoCoA-5 Support #1776: CoCoA-5 releases on redmine: (Just keep updating the description) Anna Maria Bigatti
11:52 CoCoA-5 Support #1776 (New): CoCoA-5 releases on redmine: Links to the list of issues dealt with in each release:
*CoCoA-5*: Computer Algebra System
- (2020) *CoCoA-5.3.... Anna Maria Bigatti
11:45 CoCoALib Support #1775: CoCoALib releases on redmine: (Just keep updating the description) Anna Maria Bigatti
11:29 CoCoALib Support #1775 (New): CoCoALib releases on redmine: Links to the list of issues dealt with in each release:
*CoCoALib: C++ library*
- (2024) *CoCoALib-0.998??* h... Anna Maria Bigatti

Also available in: Atom