Activity
From 15 Oct 2017 to 13 Nov 2017
13 Nov 2017
- 15:37 Bug #1121 (Rejected): PrevPrime and NextPrime anomalies
- *@ERR::UtenteScemo!!@*
I somehow failed to notice that the loop also failed in CoCoA-5... oops!
Oddly enough, I... - 15:18 Bug #1121 (Rejected): PrevPrime and NextPrime anomalies
- I am confused by the behaviour of @NextPrime@ and @PrevPrime@.
Starting from @10^17@ in CoCoA-5, running @NextPrim...
10 Nov 2017
- 15:09 Design #829 (Closed): PPOrderingCtor: name of mem fn which actually constructs?
- Eliminated @NewLexOrdering@, @NewStdDegLexOrdering@, @NewStdDegRevLexOdering@.
Made all consequent changes. Changed... - 12:37 Feature #357: Constructor for vectors? CoCoAVector
- I'm postponing again. We need to discuss this: the design does not convince me, and I hope that when we switch to C+...
- 12:34 Feature #1052 (Closed): ReadExpr(P, string) and RingElem(P, string) in CoCoALib
- Even though @ReadExpr(R, str)@ and @RingElem(R, str)@ do the same thing, we can probably leave them both in CoCoALib ...
- 12:23 Feature #1030 (Closed): IsInRadical: case of homog ideal
- 12:16 Bug #1064 (Closed): Bug in MinPolyModular (ugly prime)
09 Nov 2017
- 14:09 Feature #1090 (Resolved): ExternaLib-MathSAT: first prototype
- Polish the examples (remove obsolete ones) and consider this done for this stage.
- 13:59 Feature #1033 (Closed): Split poly into homog parts
- 13:57 Design #846: IsIrred: correct design?
- What should *@IsIrred@* do in the following cases:
* arg is not in an integral domain [error?]
* arg is zero [erro... - 13:50 Support #976: configure: auxiliary scripts should be consistent about error messages
- I now think that it is best that error messages be sent to @/dev/stderr@ since that is probably what most (experience...
08 Nov 2017
- 18:39 Feature #958: New function: multiplicity and dim
- Should this issue be postponed?
- 18:37 Feature #1033 (Feedback): Split poly into homog parts
- I think the *@CutLF@* function solves this issue.
Do you agree? If so, we can close the issue :-) - 18:31 Support #574 (Closed): Tidy CoCoA root directory
- JAA thinks the current situation is acceptable, and does not see an easy way to improve it.
Closing.
- 18:16 Bug #593 (Closed): Temporary directories used during configuration
- The scripts seems to work fine now.
Closing.
- 18:13 Feature #759 (Closed): Configuration: where to keep source for test compilations?
- I think all scripts use here documents now.
Anyway, this issue can be closed. - 18:08 Bug #1078 (Closed): makefile: ungraceful when interrupted
- I have not really tested this (as I do not often interrupt a @make@, especially during the rebuilding of the dependen...
- 17:44 Design #789 (Closed): NumTheory: behaviour of InvMod when inverse does not exist
- 17:16 Feature #180 (Closed): GlobalManager: registration of global variables
- 17:08 Design #999 (Closed): configuration: include -std=c++03 by default?
- I have not experienced any problem with compiling CoCoALib over the last 10 months, so presumably whatever I did is O...
- 17:03 Bug #1081 (Closed): ideal() * RingElem gives error
- 16:59 Bug #1081: ideal() * RingElem gives error
- John Abbott wrote:
> Should we allow ideals to be multiplied by integers or rational numbers?
I vote "no"
*JAA... - 14:18 Bug #1081: ideal() * RingElem gives error
- Should we allow ideals to be multiplied by integers or rational numbers?...
- 17:00 Support #1097 (Closed): Rename ERR::SERIOUS to ERR::ShouldNeverGetHere
- 16:33 Feature #638 (Closed): Time limit: let user specify time limit for a computation
- 16:31 Design #1086 (Closed): New design for interrupt mechanism
- 16:29 Feature #962 (Closed): General verbose mode?
- 15:59 Slug #881 (Closed): ReadExpr is too slow on large polys
- I have just tested it now, and it seems adequately fast (until someone needs really big polys).
Reading @Chebyshev... - 15:18 Slug #1118 (In Progress): SLUG: factorization of x^9999
- CoCoA is slow at factorizing high powers of @x@. For example:...
- 14:39 Bug #1088 (Closed): MinPolyQuot: runs out of primes
- 14:38 Feature #1052: ReadExpr(P, string) and RingElem(P, string) in CoCoALib
- Does this change make the file @RingElemInput@ obsolete?
At least the function *@ReadExpr@* should be regarded as ob... - 14:37 Feature #1052 (Feedback): ReadExpr(P, string) and RingElem(P, string) in CoCoALib
- JAA has updated all tests.
- 14:24 Design #1063 (Closed): Catching an (expected) error
- 14:22 Design #1065 (Closed): Design: should we allow an ideal to change ring?
- 14:12 Bug #1082 (Closed): factor in ZZ[x] gives errors
- Why didn't I give at least one failing example?
Anyway, it seems OK now... so closing.
07 Nov 2017
- 13:39 Feature #1117 (In Progress): Better printing of negative coeffs
- JAA suggests that we handle integer and rational coeffs specially; all other coeffs are handled in a generic way.
He... - 12:34 Feature #1117 (In Progress): Better printing of negative coeffs
- Currently CoCoALib prints out polys wth negative rational coeffs in an ugly way:...
06 Nov 2017
- 16:48 Bug #756 (Closed): frobby (v0.9.0) does not compile with g++-4.8
- JAA has a temporary version of FROBBY available in @frobby_v0.9.3.tgz@
This seems to avoid the portability problem... - 16:43 Bug #975: configure: possibly ignore GMP compilation flags
- I have made a preliminary version of @configure@ and various auxiliary scripts which do not expect extra CXXFLAGS for...
- 15:53 Feature #1035 (Closed): Improvement: how to sort QuotientBasis?
- 15:50 Feature #1102 (Closed): Implement RootBound
- 15:49 Feature #255 (Closed): Use BOOST lib default location if possible
- JAA thinks this has already been resolved adequately in the intervening 5 years.
Closing.
- 15:31 Feature #796 (Closed): CoCoALib function for radical (or SqFree) of a polynomial
- OK, let's use *@radical@* then (both for ideals and ring elements); it is the clearest.
Closing.
- 15:20 Feature #796: CoCoALib function for radical (or SqFree) of a polynomial
- John Abbott wrote:
> It seems that this issue is practically finished except for the questoon of the name of the fun... - 14:24 Feature #796: CoCoALib function for radical (or SqFree) of a polynomial
- It seems that this issue is practically finished except for the questoon of the name of the function.
The main choic... - 15:27 Feature #1108 (Closed): New fn: IsCoprime (whenever gcd makes sense)
- 15:24 Support #574 (Resolved): Tidy CoCoA root directory
- I think this has been mostly done.
There is no longer the GPLv2 file, no any file called @INSTALL@ (but there is @... - 15:15 Slug #1042 (Closed): LF curiously slow (breaking a poly into homog pieces)
- 15:12 Feature #979 (Closed): SmallestNonDivisor -- new fn
- This is apparently complete (also included in CoCoA-5).
- 15:06 Bug #1101 (Feedback): Bug in MinPolyModular (insufficient rational reconstruction)
- 14:41 Feature #37: matrix constructors
- *MatByRows/Cols* is now available in CoCoALib.
All other questions have been dealt with, more or less directly.
- 14:31 Feature #37: matrix constructors
- This issue is a bit strange -- it is now quite old, and of questionable relevance now.
Perhaps we should just clos... - 14:06 Feature #730 (Feedback): Stats in GBMill (GReductor)
- 13:56 Slug #881 (Feedback): ReadExpr is too slow on large polys
- 13:48 Feature #962 (Feedback): General verbose mode?
03 Nov 2017
- 12:38 Bug #1113: gcd crashes (Floating point exception)
- Here is another example (possibly simpler than the previous one?):...
02 Nov 2017
- 13:19 Feature #1115 (In Progress): New class: exterior algebra
- Add this new class, mimicking @RingWeyl@.
31 Oct 2017
- 15:36 Slug #1105: Primary Decompositon (zero-dim) slow cases
- Here are some examples I found lying around in a file:...
27 Oct 2017
- 17:45 Bug #1113 (Closed): gcd crashes (Floating point exception)
- In an old file (from 2006) I found two examples where GCD (in CoCoA4) crashes because it runs out of primes; since we...
- 11:53 Design #703: Add more operations between modules (CoCoALib)
- Reminder. Add +.
25 Oct 2017
- 13:29 Slug #1110 (Closed): Determinant of matrix over QQ (whose entries are actually integers)
- CoCoA-5 can be much faster as computing @det(M)@ if @RingOf(M)@ is @ZZ@ than the same matrix but over the ring @QQ@.
...
17 Oct 2017
- 17:15 Feature #1108 (Resolved): New fn: IsCoprime (whenever gcd makes sense)
- I have written a first trivial implementation. Seems to work.
- 16:50 Feature #1108: New fn: IsCoprime (whenever gcd makes sense)
- The fn should be defined when *@gcd@* makes sense (_i.e._ for true GCD domains and @BigInt@).
At the moment I pref... - 16:48 Feature #1108 (Closed): New fn: IsCoprime (whenever gcd makes sense)
- Define a new fn *@IsCoprime@* which is equivalent to *@IsInvertible(gcd(arg1, arg2))@*
JAA thinks it is better to ... - 15:47 Feature #630 (Feedback): Add graeffe function?
- Added code; doc; example.
Also made accessible to CoCoA-5.
Also available in: Atom