optimization → algebra Relation

File in srcmainmodulesdedekindoptimization	Includes file in srcmainmodulesdedekindalgebra
closure.cppm	algebra.cppm
lp.cppm	algebra.cppm