Commit abaa18d6 authored by Praetorius, Simon's avatar Praetorius, Simon

Merge branch 'feature/flat_pre_basis' into 'master'

Add utility to convert a preBasis to a flat preBasis

See merge request !212
parents 59701f9b a20dcb2b
Pipeline #5196 passed with stage
in 56 minutes and 15 seconds