1
1
mirror of https://github.com/rsms/inter.git synced 2024-11-28 04:52:08 +03:00

fixup features

This commit is contained in:
Rasmus Andersson 2018-08-30 09:26:45 -07:00
parent 4736bcc4f1
commit 4deb252241

View File

@ -725,8 +725,9 @@ feature calt {
# y' y Z -> x y Z # y' y Z -> x y Z
sub @CASE_L' @CASE_L @UC by @CASE_R; sub @CASE_L' @CASE_L @UC by @CASE_R;
sub [ @UC @CASE_R ] @CASE_L' by @CASE_R; sub [ @UC @CASE_R ] @CASE_L' by @CASE_R; # Z y' -> Z x -> Z x 'y -> Z x x ...
ignore sub @LC @CASE_NONDELIM_L' @UC; ignore sub @LC @CASE_NONDELIM_L' @UC; # e.g. m multiply M
sub @CASE_L' @UC by @CASE_R; # y' Z -> x Z
sub @CASE_DELIM_L' @CASE_DELIM_L [ @CASE_R @UC ] by @CASE_DELIM_R; sub @CASE_DELIM_L' @CASE_DELIM_L [ @CASE_R @UC ] by @CASE_DELIM_R;