Merge pull request #2378 from udif/pr_dollar_high_low
authorclairexen <claire@symbioticeda.com>
Thu, 1 Oct 2020 16:17:36 +0000 (18:17 +0200)
committerGitHub <noreply@github.com>
Thu, 1 Oct 2020 16:17:36 +0000 (18:17 +0200)
commit7e2fc2eaeb70179c8da3e5dc8be800f486d5b912
treefe4cf490249e3939b1461c0dc27f70ad5652fd2b
parent2412e754953595627e8c87ff0aa773929c71a852
parent7ed0e23e19871e36bbfd332437125d50d3251f0d
Merge pull request #2378 from udif/pr_dollar_high_low

Added $high(), $low(), $left(), $right()
frontends/ast/simplify.cc