Skip to content

Fixed bug in multiplication of Hdecstratum

Johannes Schmitt requested to merge pushpullfix into master

The product of a Hdecstratum and a decstratum produced a Htautclass whose terms themselves were Htautclass variables (not Hdecstratum as intended).

Merge request reports