implement fallback for `//`#234

Merged

isuruf merged 2 commits intosymengine:masterfrom

ranocha:hr/double_slash

Oct 10, 2021

Commits on Oct 1, 2021

implement fallback for //; closes #232
ranocha
committed

Commits on Oct 8, 2021

Merge branch 'master' into hr/double_slash
ranocha
authored