CoCoA Project

24 Apr 2020

20:43 CoCoALib 1.00 hour (Bug #1449 (Closed): Bivariate factor bug: sometimes a factor is reducible)

Apparently fixed John Abbott

16:36 CoCoALib 0.50 hour (Bug #1449 (Closed): Bivariate factor bug: sometimes a factor is reducible)

Simpler example John Abbott

15:53 CoCoALib 1.50 hour (Bug #1449 (Closed): Bivariate factor bug: sometimes a factor is reducible)

Maybe found it John Abbott

22 Apr 2020

21:57 CoCoALib 1.00 hour (Bug #1449 (Closed): Bivariate factor bug: sometimes a factor is reducible)

Univariate problem John Abbott

21 Apr 2020

10:18 CoCoALib 0.25 hour (Bug #1449 (Closed): Bivariate factor bug: sometimes a factor is reducible)

Simpler example John Abbott

20 Apr 2020

15:32 CoCoALib 0.25 hour (Bug #1449 (Closed): Bivariate factor bug: sometimes a factor is reducible)

Simpler example John Abbott

13:56 CoCoALib 0.50 hour (Bug #1449 (Closed): Bivariate factor bug: sometimes a factor is reducible)

Some notes John Abbott

19 Apr 2020

19:26 CoCoALib 0.50 hour (Feature #1299 (Closed): New fn ConstantTerm?)

Checked in John Abbott

17 Apr 2020

16:11 CoCoA-5 0.10 hour (Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!))

Checked in John Abbott

16:07 CoCoA-5 0.30 hour (Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!))

Perhaps OK now? John Abbott

15:45 CoCoA-5 0.40 hour (Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!))

Fixed, sort of... John Abbott

15:22 CoCoA-5 0.10 hour (Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!))

Regexp? John Abbott

15:19 CoCoA-5 0.20 hour (Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!))

Amazing! John Abbott

26 Mar 2020

11:40 CoCoA-5 0.10 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)

Postpone? John Abbott

11:38 CoCoA-5 0.30 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)

What I did for CoCoALib John Abbott

10:28 CoCoALib 0.50 hour (Feature #1299 (Closed): New fn ConstantTerm?)

Prototype John Abbott