tree 5d01931d62d54525f8edb351f3804842006679a4
parent b73f1a51dcd1011129dc5c5c55a7577134410dbc
author Ralf Jung <post@ralfj.de> 1568632523 +0200
committer Ralf Jung <post@ralfj.de> 1568632556 +0200

factor getting the discriminant layout to a new method