Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 A B C D E F Bib Ind

### 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.

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