GAP (homalg) - Appendix D: Debugging homalg

Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 A B C D E F Bib Ind
[Top of Book] [Contents] [Previous Chapter] [Next Chapter]

[MathJax on]

D Debugging homalg
D.1 Increase the assertion level

### D Debugging homalg

Beside the GAP builtin debugging facilities (--> Reference: Debugging and Profiling Facilities) homalg provides two ways to debug the computations.

#### D.1 Increase the assertion level

homalg comes with numerous builtin assertion checks. They are activated if the user increases the assertion level using
`SetAssertionLevel`( level );
(--> Reference: AssertionLevel), where level is one of the values below:

level | description
0 | no assertion checks whatsoever
3 | "high"-level homological assertions are checked
4 | "mid"-level homological assertions are checked
5 | "low"-level homological assertions are checked
6 | assertions about basic matrix operations are checked (--> Appendices of the MatricesForHomalg package)
| (these are among the operations often delegated to external systems)

In particular, if homalg delegates matrix operations to an external system then `SetAssertionLevel`( 4 ); can be used to let homalg debug the external system.

[Top of Book] [Contents] [Previous Chapter] [Next Chapter]
Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 A B C D E F Bib Ind

generated by GAPDoc2HTML