invarA in Cze and Slo

2020-05-07 11:24:03 +02:00
parent 344b91c68f
commit e50cc6f6e4
4 changed files with 24 additions and 7 deletions
@@ -108,6 +108,8 @@ oper
  paviA  : Str -> A
    = \s -> lin A (R.paviA s) ;

+  invarA : Str -> A
+    = \s -> lin A (invarAdjForms s) ;

  mkA2 : A -> Prep -> A2
    = \a,p -> lin A2 (a ** {c = p}) ;