RealAbs and RealSign#885

Merged

mmatera merged 4 commits intomasterfrom

RealAbs_and_RealSign

Jul 21, 2023

Commits on Jul 20, 2023

Correct typo in error message pattern

rocky
authored and
mmatera
committed
RealAbs and RealSign
mmatera
committed
Merge branch 'master' into RealAbs_and_RealSign
mmatera
authored

Commits on Jul 21, 2023

tiny tweaks in documentation
mmatera
committed