nvcleemp / conjecturing

Adding conjecturing to Sage
http://nvcleemp.github.io/conjecturing/
12 stars 3 forks source link

Matrix theory invariants #3

Open nvcleemp opened 11 years ago

nvcleemp commented 11 years ago

here are some matrix invariants (from Horn and Johnson, 2nd ed):

also include:

note, if we need more invariants: