Project

General

Profile

Feature #931

GBasis verbose mode

Added by John Abbott over 7 years ago. Updated almost 7 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Anna Maria Bigatti
Category:
Improving
Target version:
CoCoALib-0.99550 spring 2017
Start date:
24 Sep 2016
Due date:
% Done:

100%

Estimated time:
3.00 h
Spent time:
2.20 h

Description

Make GBasis verbose mode official (both in CoCoALib and CoCoA-5).

Requested by Tetsuo Ida

Related issues

Related to CoCoALib - Feature #962: General verbose mode?Closed2016-11-07

Related to CoCoALib - Feature #957: New function: HasGBasisClosed2016-10-27

Related to CoCoALib - Feature #730: Stats in GBMill (GReductor)Closed2015-06-10

History

#1 Updated by John Abbott over 7 years ago

#2 Updated by Anna Maria Bigatti over 7 years ago

  • Assignee set to Anna Maria Bigatti
  • % Done changed from 0 to 10

Now we have SetVerbosityLevel it should be (almost) trivial.

#3 Updated by Anna Maria Bigatti over 7 years ago

  • Target version changed from CoCoALib-1.0 to CoCoALib-0.99550 spring 2017

#4 Updated by Anna Maria Bigatti over 7 years ago

Added first verbosity comments activated with

SetVerbosityLevel(1965);

#5 Updated by Anna Maria Bigatti over 7 years ago

  • % Done changed from 10 to 50

#6 Updated by Anna Maria Bigatti over 7 years ago

#7 Updated by John Abbott over 7 years ago

  • Status changed from New to In Progress

Which target version should we opt for?
I suggest postponing for a later release (unless you think that this is almost done: 50% complete suggests not).

#8 Updated by John Abbott over 7 years ago

I set verbosity level to 1965 then tried calling ImplicitHypesurface with the option ElimTH, but no verbose messages appeared. Is this what you would expect?

#9 Updated by John Abbott about 7 years ago

Answer to previous question is that internally Anna uses a hack: she calls myDoGBasisElimFirst rather than the general myDoGBasis.
Sooner or later these two function should be merged into one (presumably with a suitable flag).
In the meantime, Anna plans to add the appropriate verbosity lines to myDoGBasisElimFirst.

#10 Updated by Anna Maria Bigatti about 7 years ago

John Abbott wrote:

In the meantime, Anna plans to add the appropriate verbosity lines to myDoGBasisElimFirst.

done

#11 Updated by Anna Maria Bigatti about 7 years ago

Set 100 for first GBasis printouts

#12 Updated by Anna Maria Bigatti about 7 years ago

  • % Done changed from 50 to 90

Current setting seems satisfactory.
Documented in cocoa-5.... not in CoCoALib.
Can we avoid this duplication of documentation?

2017-04-22 NOTE JAA does not see how to avoid duplicating the documentation.

#13 Updated by Anna Maria Bigatti about 7 years ago

  • Related to Feature #730: Stats in GBMill (GReductor) added

#14 Updated by Anna Maria Bigatti almost 7 years ago

I cleaned up the code a bit, and settled some values for verbosity.
100 and 101 give some basic informations, for all the rest I gave values 105--150.
Checking in.

#15 Updated by Anna Maria Bigatti almost 7 years ago

  • Status changed from In Progress to Feedback
  • Estimated time set to 3.00 h

Verbosity is also related to printing final statistics (#730).
That might change, but the basic progress information (level 100 and 101) are probably settled.

I suggest closing this and readjust higher levels in issue #730.

#16 Updated by Anna Maria Bigatti almost 7 years ago

  • Status changed from Feedback to Closed
  • % Done changed from 90 to 100

Also available in: Atom PDF