Activity
From 03 Apr 2014 to 02 May 2014
02 May 2014
-
16:12 Bug #538 (Resolved): Compilation problem in TmpMorsePaths.C
- I have modified th fn signature to teh following:...
-
- OK I have modified @mpz_log.c@; should be fine now.
Also I have CVSed everything.
@Christof: could you confirm th... -
11:21 Support #302: Compilation on M$Windows: Visual Studio
- Thanks, that should make the compilation a lot easier! I can test it next week, is it CVSed?
Note that there is also ...
30 Apr 2014
-
- I have removed most uses of @size_t@ in CoCoALib.
The template fn @len@ now does an automatic cast to @long@ from @s... -
- I believe I have fixed the overloading problem, and replaced @M_PI@ with @4*atan(1.0)@.
Right now I don't have a g...
29 Apr 2014
-
- For the new normaliz version I did again a compilation on Windows. Here are my findings for CoCoALib 0.99533:
The ...
22 Apr 2014
-
- I have implemented @ProgressReporter@.
Checked in with doc and example!
State -> feedback!
-
- It would be handy to have utility that prints out occasional "progress reports" when conducting long iterative comput...
17 Apr 2014
-
-
15:17 Feature #431 (Feedback): NewPolyRing_DMPI has no constructor with a predefined PPM
-
- > JAA noticed that ex-PolyRing1.C is too long & complicated; split it into two (one about ctors, the other about doin...
-
- Renamed source files (&Makefile) & doc; changed references in doc.
-
- first prelease on web-page
-
- *make ValgrindTests* DONE (only the "throw-16b-leaks")
-
-
-
- A factorization is arbitrary.
Choose and implement functions to clean it up (e.g. grouping all equal factors in one ... -
- (for now) we have decided that factorization of denom is arbitrary.
There will be functions to clean up a factorizat... -
-
-
- I checked and confirm that the tests listed (those "leaking" *16 bytes*) are those which test errors (at least once)....
-
- tested, added test-matrix4 (which indeed gave IMMINENT DISASTER before recompiling ;-)
16 Apr 2014
-
- JAA noticed that @ex-PolyRing1.C@ is too long & complicated; split it into two (one about ctors, the other about doin...
-
- I'm not an expert in the field, and in my ignorance find the "compact" form more satisfactory. I could even envisage...
-
- I guess you could use @raw(zero(myR))@ instead of @raw(useless)@; though perhaps the latter is clearer?
-
- JAA suggested to try ...
-
- I confirm the previous leaks (probably due to test for *throwing/catching errors*)
This "16-byte leak" is independent... -
- ...
-
- Added copyright blurb to @TmpMorse..@ files.
-
- JAA has tried the proposed modification, and can report that it compiles and all tests pass.
*HOWEVER*, the relevant... -
- [reported by Roberto Pagaria <roberto-dot-pagaria-chiocciola-sns-dot-it>]
Ieri ho tentato di installare CoCoALib su ... -
- Just for the record: I did the experiment from within C-5.1, and the time taken (for just @FloatStr@) was 32.3s
-
- Using CoCoAlib-0.99533 @FloatStr@ uses about 1.5Gbytes extra memory when applied to
@N:=factorial(10^8);FloatStr(N);...
15 Apr 2014
-
- The final design is:...
-
-
-
-
- We should start by looking at the various current uses of @bool3@, and possibly any obvious future candidates.
-
- A new *@ClearDenom@* function has been added to @SparsePolyRing@; it follows very closely the code @ClearDenom2@ I wr...
-
- Reopening because it was auto-closed when I closed #139 which this duplicates.
-
- Closing because it is duplicated
-
- Closing because it is duplicated
-
-
- This is info is in the file @doc/README@ -- it's been there for some time now!
-
- The current impl is simple, compact and works fine in the cases we have tried. Let's KISS until someone points out t...
-
-
-
-
-
- Now it takes 60s on my machine which is quite acceptable.
Closing.
-
-
-
-
- The doc is now much improved; no doubt it will be tweaked occasionally in the future, but this issue can now be close...
-
- No problems have arisen in 2 years. In ptic the fns *@IsPthPower2@* and *@PthRoot2@* have not made their absence fel...
-
- The mem fn @RingBase::myCharacteristic@ returns @void@ (supposedly for "efficiency", but who's going to calculate mil...
11 Apr 2014
-
- Removed @FilledMat@. See *comment-5* for the *conclusion*.
-
- Renamed the files, all includes, all tests, the doc. Verified, checked in.
-
- Renamed @TmpFactor@ to @factor@. The source file still contains a lot of crocky code!
-
- @GlobalInput@ etc should be in the server code, not in CoCoALib!
Move them!
09 Apr 2014
-
- I have made a quick impl in file @decimal.C@; its currently called @decimals@. I had wanted to use @DecimalStr@ but ...
-
- I thought there used to be @ConvertTo<string>(N)@ for @BigInt@ and @BigRat@.
Maybe there used to be, but they were r... -
- added *ex-DynamicBiteset2.C*
08 Apr 2014
-
- Implemented.
Testing will mostly be done in CoCoA-5 issue #509, but a test should be added in CoCoALib as well. -
- ... and write submission to Seoul and relative paper.
-
- Done; it builds, the tests pass; checked in!
Status -> feedback -
- Note: this page is just a reminder.
Every release should have its own.
-
- Everything related to making the release:
finalize
valgrind tests
create snapshot
updated webpage
-
- Implemented the proposal in comment-6; changed several @IsZero@ checks into @IsZeroDivisor@.
Changed state to feed... -
- Aldo says that "@a@ is divisible by @b@" means that there exists at least one @c@ such that @a = b*c@. He accepted h...
-
- I have implemented in @IntOperations@ both for @BigInt@ and @MachineInt@.
Also added doc and some tests.
The fn say... -
- It would be handy sometimes to have a function which says whether an integer is a power of 2; perhaps if its absolute...
07 Apr 2014
-
- I made some changes:
*NewMat* is now in BackwardCompatible.cpkg5 and is a straight call to *ZeroMat*
*NewMat* for a m... -
-
-
- Probably several "efficient" procedures can be eliminated.
* @add@, @sub@, @mul@, @div@ for @RingElem@
* add "mov... -
- My impl attempt failed; static typing in C++ did not help.
Now considering defining notion of subring (certain lim... -
- JAA thinks this has been resolved by #153.
Conclusion: *no _automatic_ conversion to @bool@*, just the shorter names... -
- The new fn names are:...
05 Apr 2014
-
- Unfortunately C5 publishes @NewMat(R,C,entry)@ which calls @FilledMat@; it is used in @primary.cpkg5@
What to do???
-
- After 2 years I still think that @FilledMat@ is essentially useless.
Any objections to deleting it?
It is used in @M...
04 Apr 2014
-
- Osnabruck seem to be happy! Closing!
-
- Anna suggests that @elim@ may be quicker/simpler/better?
-
- I have replaced yesterday's impl with a new much simpler and more compact one (but it is a bit slower, and relies on ...
03 Apr 2014
-
- A robust general solution is to use @GenRepr@:
inside R/I
invert element alpha
Check that 1 isin ideal(alpha... -
- Implement "division" in a quotient ring.
-
- Summarising:
@IsDivisible(a,b)@ gives @true@ iff there is a *unique* @c@ in the ring satisfying @a = b*c@ (assuming ... -
- This issue has been left forgotten -- the work has been done anyway!
We have: @SparsePolyIter@, @CoefficientsWRT@,... -
- The problem still happens; it's not serious as everything works fine anyway.
I checked on MacOSX 10.5.8.
-
- This has effectively already been done: doc for @BigInt@ refers to @IntOperations@ and @NumTheory@ for operations.
-
17:30 Slug #417: ex-Normaliz2-overflow.in too long & too much memory
- With Normaliz 2.11 this will no longer be an issue of memory. But the computation time could still be too big.
-
- Completely reimplemented: decided to follow design pattern used by @std::numeric_limits@. Will need updating if othe...
-
- Here is a failing case:...
-
- MaxSquarableInteger gives wrong ans for @unsigned long@ because conversion to @double@ rounds up!
Fix it!
-
-
- No problems in almost a year --> closing.
Also available in: Atom