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] 

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: SetAssertionLevel), 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