* algebra/matrix.spad.pamphlet (RectangularMatrix) [ZERO]: Remove.

	(SquareMatrix) [ZERO, ONE]: Likewise.

5 files changed, 7 insertions, 7 deletions

diff --git a/src/share/algebra/browse.daase b/src/share/algebra/browse.daase
index c97716df..e75120c2 100644
--- a/src/share/algebra/browse.daase
+++ b/src/share/algebra/browse.daase
@@ -1,5 +1,5 @@
 
-(1961899 . 3577306241)       
+(1961236 . 3577307071)       
 (-18 A S) 
 ((|constructor| (NIL "One-dimensional-array aggregates serves as models for one-dimensional arrays. Categorically,{} these aggregates are finite linear aggregates with the \\spadatt{shallowlyMutable} property,{} that is,{} any component of the array may be changed without affecting the identity of the overall array. Array data structures are typically represented by a fixed area in storage and therefore cannot efficiently grow or shrink on demand as can list structures (see however \\spadtype{FlexibleArray} for a data structure which is a cross between a list and an array). Iteration over,{} and access to,{} elements of arrays is extremely fast (and often can be optimized to open-code). Insertion and deletion however is generally slow since an entirely new data structure must be created for the result."))) 
 NIL 
diff --git a/src/share/algebra/category.daase b/src/share/algebra/category.daase
index 2bc1e410..ca8d1a84 100644
--- a/src/share/algebra/category.daase
+++ b/src/share/algebra/category.daase
@@ -1,5 +1,5 @@
 
-(176677 . 3577306243)        
+(176473 . 3577307073)        
 ((((-772)) . T)) 
 ((((-772)) . T)) 
 ((((-772)) . T)) 
diff --git a/src/share/algebra/compress.daase b/src/share/algebra/compress.daase
index f3e79a84..9af28b0f 100644
--- a/src/share/algebra/compress.daase
+++ b/src/share/algebra/compress.daase
@@ -1,5 +1,5 @@
 
-(30 . 3577306240)            
+(30 . 3577307070)            
 (3997 |Enumeration| |Mapping| |Record| |Union| |ofCategory| |isDomain|
  ATTRIBUTE |package| |domain| |category| CATEGORY |nobranch| AND |Join|
  |ofType| SIGNATURE "failed" "algebra" |OneDimensionalArrayAggregate&|
diff --git a/src/share/algebra/interp.daase b/src/share/algebra/interp.daase
index 19a6b82f..9b486c54 100644
--- a/src/share/algebra/interp.daase
+++ b/src/share/algebra/interp.daase
@@ -1,5 +1,5 @@
 
-(2791024 . 3577306248)       
+(2790951 . 3577307078)       
 ((-1731 (((-85) (-1 (-85) |#2| |#2|) $) 86 T ELT) (((-85) $) NIL T ELT)) (-1729 (($ (-1 (-85) |#2| |#2|) $) 18 T ELT) (($ $) NIL T ELT)) (-3787 ((|#2| $ (-483) |#2|) NIL T ELT) ((|#2| $ (-1145 (-483)) |#2|) 44 T ELT)) (-2297 (($ $) 80 T ELT)) (-3841 ((|#2| (-1 |#2| |#2| |#2|) $ |#2| |#2|) 52 T ELT) ((|#2| (-1 |#2| |#2| |#2|) $ |#2|) 50 T ELT) ((|#2| (-1 |#2| |#2| |#2|) $) 49 T ELT)) (-3418 (((-483) (-1 (-85) |#2|) $) 27 T ELT) (((-483) |#2| $) NIL T ELT) (((-483) |#2| $ (-483)) 96 T ELT)) (-2889 (((-583 |#2|) $) 13 T ELT)) (-3517 (($ (-1 (-85) |#2| |#2|) $ $) 64 T ELT) (($ $ $) NIL T ELT)) (-1948 (($ (-1 |#2| |#2|) $) 37 T ELT)) (-3957 (($ (-1 |#2| |#2|) $) NIL T ELT) (($ (-1 |#2| |#2| |#2|) $ $) 60 T ELT)) (-2304 (($ |#2| $ (-483)) NIL T ELT) (($ $ $ (-483)) 67 T ELT)) (-1353 (((-3 |#2| "failed") (-1 (-85) |#2|) $) 29 T ELT)) (-1946 (((-85) (-1 (-85) |#2|) $) 23 T ELT)) (-3799 ((|#2| $ (-483) |#2|) NIL T ELT) ((|#2| $ (-483)) NIL T ELT) (($ $ (-1145 (-483))) 66 T ELT)) (-2305 (($ $ (-483)) 76 T ELT) (($ $ (-1145 (-483))) 75 T ELT)) (-1945 (((-694) (-1 (-85) |#2|) $) 34 T ELT) (((-694) |#2| $) NIL T ELT)) (-1730 (($ $ $ (-483)) 69 T ELT)) (-3399 (($ $) 68 T ELT)) (-3529 (($ (-583 |#2|)) 73 T ELT)) (-3801 (($ $ |#2|) NIL T ELT) (($ |#2| $) NIL T ELT) (($ $ $) 87 T ELT) (($ (-583 $)) 85 T ELT)) (-3945 (((-772) $) 92 T ELT)) (-1947 (((-85) (-1 (-85) |#2|) $) 22 T ELT)) (-3056 (((-85) $ $) 95 T ELT)) (-2685 (((-85) $ $) 99 T ELT))) 
 (((-18 |#1| |#2|) (-10 -7 (-15 -3056 ((-85) |#1| |#1|)) (-15 -3945 ((-772) |#1|)) (-15 -2685 ((-85) |#1| |#1|)) (-15 -1729 (|#1| |#1|)) (-15 -1729 (|#1| (-1 (-85) |#2| |#2|) |#1|)) (-15 -2297 (|#1| |#1|)) (-15 -1730 (|#1| |#1| |#1| (-483))) (-15 -1731 ((-85) |#1|)) (-15 -3517 (|#1| |#1| |#1|)) (-15 -3418 ((-483) |#2| |#1| (-483))) (-15 -3418 ((-483) |#2| |#1|)) (-15 -3418 ((-483) (-1 (-85) |#2|) |#1|)) (-15 -1731 ((-85) (-1 (-85) |#2| |#2|) |#1|)) (-15 -3517 (|#1| (-1 (-85) |#2| |#2|) |#1| |#1|)) (-15 -3787 (|#2| |#1| (-1145 (-483)) |#2|)) (-15 -2304 (|#1| |#1| |#1| (-483))) (-15 -2304 (|#1| |#2| |#1| (-483))) (-15 -2305 (|#1| |#1| (-1145 (-483)))) (-15 -2305 (|#1| |#1| (-483))) (-15 -3957 (|#1| (-1 |#2| |#2| |#2|) |#1| |#1|)) (-15 -3801 (|#1| (-583 |#1|))) (-15 -3801 (|#1| |#1| |#1|)) (-15 -3801 (|#1| |#2| |#1|)) (-15 -3801 (|#1| |#1| |#2|)) (-15 -3799 (|#1| |#1| (-1145 (-483)))) (-15 -3529 (|#1| (-583 |#2|))) (-15 -1353 ((-3 |#2| "failed") (-1 (-85) |#2|) |#1|)) (-15 -3841 (|#2| (-1 |#2| |#2| |#2|) |#1|)) (-15 -3841 (|#2| (-1 |#2| |#2| |#2|) |#1| |#2|)) (-15 -3841 (|#2| (-1 |#2| |#2| |#2|) |#1| |#2| |#2|)) (-15 -3799 (|#2| |#1| (-483))) (-15 -3799 (|#2| |#1| (-483) |#2|)) (-15 -3787 (|#2| |#1| (-483) |#2|)) (-15 -1945 ((-694) |#2| |#1|)) (-15 -2889 ((-583 |#2|) |#1|)) (-15 -1945 ((-694) (-1 (-85) |#2|) |#1|)) (-15 -1946 ((-85) (-1 (-85) |#2|) |#1|)) (-15 -1947 ((-85) (-1 (-85) |#2|) |#1|)) (-15 -1948 (|#1| (-1 |#2| |#2|) |#1|)) (-15 -3957 (|#1| (-1 |#2| |#2|) |#1|)) (-15 -3399 (|#1| |#1|))) (-19 |#2|) (-1128)) (T -18)) 
 NIL 
@@ -3202,7 +3202,7 @@ NIL
 ((-3957 (*1 *1 *2 *1) (-12 (-5 *2 (-1 *5 *5)) (-4 *1 (-965 *3 *4 *5 *6 *7)) (-4 *5 (-961)) (-4 *6 (-196 *4 *5)) (-4 *7 (-196 *3 *5)))) (-3123 (*1 *1 *2) (-12 (-5 *2 (-583 (-583 *5))) (-4 *5 (-961)) (-4 *1 (-965 *3 *4 *5 *6 *7)) (-4 *6 (-196 *4 *5)) (-4 *7 (-196 *3 *5)))) (-3122 (*1 *2 *1) (-12 (-4 *1 (-965 *3 *4 *5 *6 *7)) (-4 *5 (-961)) (-4 *6 (-196 *4 *5)) (-4 *7 (-196 *3 *5)) (-5 *2 (-85)))) (-3121 (*1 *2 *1) (-12 (-4 *1 (-965 *3 *4 *5 *6 *7)) (-4 *5 (-961)) (-4 *6 (-196 *4 *5)) (-4 *7 (-196 *3 *5)) (-5 *2 (-85)))) (-3120 (*1 *2 *1) (-12 (-4 *1 (-965 *3 *4 *5 *6 *7)) (-4 *5 (-961)) (-4 *6 (-196 *4 *5)) (-4 *7 (-196 *3 *5)) (-5 *2 (-85)))) (-3119 (*1 *2 *1) (-12 (-4 *1 (-965 *3 *4 *5 *6 *7)) (-4 *5 (-961)) (-4 *6 (-196 *4 *5)) (-4 *7 (-196 *3 *5)) (-5 *2 (-85)))) (-3118 (*1 *2 *1) (-12 (-4 *1 (-965 *3 *4 *5 *6 *7)) (-4 *5 (-961)) (-4 *6 (-196 *4 *5)) (-4 *7 (-196 *3 *5)) (-5 *2 (-483)))) (-3117 (*1 *2 *1) (-12 (-4 *1 (-965 *3 *4 *5 *6 *7)) (-4 *5 (-961)) (-4 *6 (-196 *4 *5)) (-4 *7 (-196 *3 *5)) (-5 *2 (-483)))) (-3116 (*1 *2 *1) (-12 (-4 *1 (-965 *3 *4 *5 *6 *7)) (-4 *5 (-961)) (-4 *6 (-196 *4 *5)) (-4 *7 (-196 *3 *5)) (-5 *2 (-483)))) (-3115 (*1 *2 *1) (-12 (-4 *1 (-965 *3 *4 *5 *6 *7)) (-4 *5 (-961)) (-4 *6 (-196 *4 *5)) (-4 *7 (-196 *3 *5)) (-5 *2 (-483)))) (-3114 (*1 *2 *1) (-12 (-4 *1 (-965 *3 *4 *5 *6 *7)) (-4 *5 (-961)) (-4 *6 (-196 *4 *5)) (-4 *7 (-196 *3 *5)) (-5 *2 (-694)))) (-3113 (*1 *2 *1) (-12 (-4 *1 (-965 *3 *4 *5 *6 *7)) (-4 *5 (-961)) (-4 *6 (-196 *4 *5)) (-4 *7 (-196 *3 *5)) (-5 *2 (-694)))) (-3593 (*1 *2 *1) (-12 (-4 *1 (-965 *3 *4 *5 *6 *7)) (-4 *5 (-961)) (-4 *6 (-196 *4 *5)) (-4 *7 (-196 *3 *5)) (-5 *2 (-583 (-583 *5))))) (-3799 (*1 *2 *1 *3 *3) (-12 (-5 *3 (-483)) (-4 *1 (-965 *4 *5 *2 *6 *7)) (-4 *6 (-196 *5 *2)) (-4 *7 (-196 *4 *2)) (-4 *2 (-961)))) (-3112 (*1 *2 *1 *3 *3) (-12 (-5 *3 (-483)) (-4 *1 (-965 *4 *5 *2 *6 *7)) (-4 *6 (-196 *5 *2)) (-4 *7 (-196 *4 *2)) (-4 *2 (-961)))) (-3799 (*1 *2 *1 *3 *3 *2) (-12 (-5 *3 (-483)) (-4 *1 (-965 *4 *5 *2 *6 *7)) (-4 *2 (-961)) (-4 *6 (-196 *5 *2)) (-4 *7 (-196 *4 *2)))) (-3111 (*1 *2 *1 *3) (-12 (-5 *3 (-483)) (-4 *1 (-965 *4 *5 *6 *2 *7)) (-4 *6 (-961)) (-4 *7 (-196 *4 *6)) (-4 *2 (-196 *5 *6)))) (-3110 (*1 *2 *1 *3) (-12 (-5 *3 (-483)) (-4 *1 (-965 *4 *5 *6 *7 *2)) (-4 *6 (-961)) (-4 *7 (-196 *5 *6)) (-4 *2 (-196 *4 *6)))) (-3957 (*1 *1 *2 *1 *1) (-12 (-5 *2 (-1 *5 *5 *5)) (-4 *1 (-965 *3 *4 *5 *6 *7)) (-4 *5 (-961)) (-4 *6 (-196 *4 *5)) (-4 *7 (-196 *3 *5)))) (-3465 (*1 *1 *1 *2) (|partial| -12 (-4 *1 (-965 *3 *4 *2 *5 *6)) (-4 *2 (-961)) (-4 *5 (-196 *4 *2)) (-4 *6 (-196 *3 *2)) (-4 *2 (-494)))) (-3948 (*1 *1 *1 *2) (-12 (-4 *1 (-965 *3 *4 *2 *5 *6)) (-4 *2 (-961)) (-4 *5 (-196 *4 *2)) (-4 *6 (-196 *3 *2)) (-4 *2 (-312)))) (-3109 (*1 *1 *1) (-12 (-4 *1 (-965 *2 *3 *4 *5 *6)) (-4 *4 (-961)) (-4 *5 (-196 *3 *4)) (-4 *6 (-196 *2 *4)) (-4 *4 (-258)))) (-3108 (*1 *2 *1) (-12 (-4 *1 (-965 *3 *4 *5 *6 *7)) (-4 *5 (-961)) (-4 *6 (-196 *4 *5)) (-4 *7 (-196 *3 *5)) (-4 *5 (-494)) (-5 *2 (-694)))) (-3107 (*1 *2 *1) (-12 (-4 *1 (-965 *3 *4 *5 *6 *7)) (-4 *5 (-961)) (-4 *6 (-196 *4 *5)) (-4 *7 (-196 *3 *5)) (-4 *5 (-494)) (-5 *2 (-694)))) (-3106 (*1 *2 *1) (-12 (-4 *1 (-965 *3 *4 *5 *6 *7)) (-4 *5 (-961)) (-4 *6 (-196 *4 *5)) (-4 *7 (-196 *3 *5)) (-4 *5 (-494)) (-5 *2 (-583 *7))))) 
 (-13 (-82 |t#3| |t#3|) (-427 |t#3|) (-10 -8 (-6 -3994) (IF (|has| |t#3| (-146)) (-6 (-654 |t#3|)) |%noBranch|) (-15 -3123 ($ (-583 (-583 |t#3|)))) (-15 -3122 ((-85) $)) (-15 -3121 ((-85) $)) (-15 -3120 ((-85) $)) (-15 -3119 ((-85) $)) (-15 -3118 ((-483) $)) (-15 -3117 ((-483) $)) (-15 -3116 ((-483) $)) (-15 -3115 ((-483) $)) (-15 -3114 ((-694) $)) (-15 -3113 ((-694) $)) (-15 -3593 ((-583 (-583 |t#3|)) $)) (-15 -3799 (|t#3| $ (-483) (-483))) (-15 -3112 (|t#3| $ (-483) (-483))) (-15 -3799 (|t#3| $ (-483) (-483) |t#3|)) (-15 -3111 (|t#4| $ (-483))) (-15 -3110 (|t#5| $ (-483))) (-15 -3957 ($ (-1 |t#3| |t#3|) $)) (-15 -3957 ($ (-1 |t#3| |t#3| |t#3|) $ $)) (IF (|has| |t#3| (-494)) (-15 -3465 ((-3 $ "failed") $ |t#3|)) |%noBranch|) (IF (|has| |t#3| (-312)) (-15 -3948 ($ $ |t#3|)) |%noBranch|) (IF (|has| |t#3| (-258)) (-15 -3109 ($ $)) |%noBranch|) (IF (|has| |t#3| (-494)) (PROGN (-15 -3108 ((-694) $)) (-15 -3107 ((-694) $)) (-15 -3106 ((-583 |t#5|) $))) |%noBranch|))) 
 (((-21) . T) ((-23) . T) ((-25) . T) ((-34) . T) ((-72) . T) ((-82 R R) . T) ((-104) . T) ((-552 (-772)) . T) ((-260 R) -12 (|has| R (-260 R)) (|has| R (-1013))) ((-427 R) . T) ((-454 R R) -12 (|has| R (-260 R)) (|has| R (-1013))) ((-588 (-483)) . T) ((-588 R) . T) ((-590 R) . T) ((-582 R) |has| R (-146)) ((-654 R) |has| R (-146)) ((-963 R) . T) ((-968 R) . T) ((-1013) . T) ((-1128) . T)) 
-((-2568 (((-85) $ $) NIL T ELT)) (-3188 (((-85) $) NIL T ELT)) (-3120 (((-85) $) NIL T ELT)) (-1311 (((-3 $ #1="failed") $ $) NIL T ELT)) (-3122 (((-85) $) NIL T ELT)) (-3723 (($) NIL T CONST)) (-3109 (($ $) 47 (|has| |#3| (-258)) ELT)) (-3111 (((-197 |#2| |#3|) $ (-483)) 36 T ELT)) (-3124 (($ (-630 |#3|)) 45 T ELT)) (-3108 (((-694) $) 49 (|has| |#3| (-494)) ELT)) (-3112 ((|#3| $ (-483) (-483)) NIL T ELT)) (-2889 (((-583 |#3|) $) NIL (|has| $ (-6 -3994)) ELT)) (-1213 (((-85) $ $) NIL T ELT)) (-3107 (((-694) $) 51 (|has| |#3| (-494)) ELT)) (-3106 (((-583 (-197 |#1| |#3|)) $) 55 (|has| |#3| (-494)) ELT)) (-3114 (((-694) $) NIL T ELT)) (-3113 (((-694) $) NIL T ELT)) (-3118 (((-483) $) NIL T ELT)) (-3116 (((-483) $) NIL T ELT)) (-2608 (((-583 |#3|) $) NIL (|has| $ (-6 -3994)) ELT)) (-3245 (((-85) |#3| $) NIL (-12 (|has| $ (-6 -3994)) (|has| |#3| (-1013))) ELT)) (-3117 (((-483) $) NIL T ELT)) (-3115 (((-483) $) NIL T ELT)) (-3123 (($ (-583 (-583 |#3|))) 31 T ELT)) (-1948 (($ (-1 |#3| |#3|) $) NIL (|has| $ (-6 -3995)) ELT)) (-3957 (($ (-1 |#3| |#3|) $) NIL T ELT) (($ (-1 |#3| |#3| |#3|) $ $) NIL T ELT)) (-3593 (((-583 (-583 |#3|)) $) NIL T ELT)) (-3242 (((-1072) $) NIL T ELT)) (-3243 (((-1033) $) NIL T ELT)) (-3465 (((-3 $ #1#) $ |#3|) NIL (|has| |#3| (-494)) ELT)) (-1946 (((-85) (-1 (-85) |#3|) $) NIL (|has| $ (-6 -3994)) ELT)) (-3767 (($ $ (-583 |#3|) (-583 |#3|)) NIL (-12 (|has| |#3| (-260 |#3|)) (|has| |#3| (-1013))) ELT) (($ $ |#3| |#3|) NIL (-12 (|has| |#3| (-260 |#3|)) (|has| |#3| (-1013))) ELT) (($ $ (-249 |#3|)) NIL (-12 (|has| |#3| (-260 |#3|)) (|has| |#3| (-1013))) ELT) (($ $ (-583 (-249 |#3|))) NIL (-12 (|has| |#3| (-260 |#3|)) (|has| |#3| (-1013))) ELT)) (-1221 (((-85) $ $) NIL T ELT)) (-3402 (((-85) $) NIL T ELT)) (-3564 (($) NIL T ELT)) (-3799 ((|#3| $ (-483) (-483)) NIL T ELT) ((|#3| $ (-483) (-483) |#3|) NIL T ELT)) (-3910 (((-107)) 59 (|has| |#3| (-312)) ELT)) (-3121 (((-85) $) NIL T ELT)) (-1945 (((-694) |#3| $) NIL (-12 (|has| $ (-6 -3994)) (|has| |#3| (-1013))) ELT) (((-694) (-1 (-85) |#3|) $) NIL (|has| $ (-6 -3994)) ELT)) (-3399 (($ $) NIL T ELT)) (-3971 (((-472) $) 66 (|has| |#3| (-553 (-472))) ELT)) (-3110 (((-197 |#1| |#3|) $ (-483)) 40 T ELT)) (-3945 (((-772) $) 19 T ELT) (((-630 |#3|) $) 42 T ELT)) (-1264 (((-85) $ $) NIL T ELT)) (-1947 (((-85) (-1 (-85) |#3|) $) NIL (|has| $ (-6 -3994)) ELT)) (-3119 (((-85) $) NIL T ELT)) (-2660 (($) 16 T CONST)) (-3056 (((-85) $ $) NIL T ELT)) (-3948 (($ $ |#3|) NIL (|has| |#3| (-312)) ELT)) (-3836 (($ $) NIL T ELT) (($ $ $) NIL T ELT)) (-3838 (($ $ $) NIL T ELT)) (* (($ (-830) $) NIL T ELT) (($ (-694) $) NIL T ELT) (($ (-483) $) NIL T ELT) (($ |#3| $) NIL T ELT) (($ $ |#3|) NIL T ELT)) (-3956 (((-694) $) NIL (|has| $ (-6 -3994)) ELT))) 
+((-2568 (((-85) $ $) NIL T ELT)) (-3188 (((-85) $) NIL T ELT)) (-3120 (((-85) $) NIL T ELT)) (-1311 (((-3 $ #1="failed") $ $) NIL T ELT)) (-3122 (((-85) $) NIL T ELT)) (-3723 (($) NIL T CONST)) (-3109 (($ $) 46 (|has| |#3| (-258)) ELT)) (-3111 (((-197 |#2| |#3|) $ (-483)) 35 T ELT)) (-3124 (($ (-630 |#3|)) 44 T ELT)) (-3108 (((-694) $) 48 (|has| |#3| (-494)) ELT)) (-3112 ((|#3| $ (-483) (-483)) NIL T ELT)) (-2889 (((-583 |#3|) $) NIL (|has| $ (-6 -3994)) ELT)) (-1213 (((-85) $ $) NIL T ELT)) (-3107 (((-694) $) 50 (|has| |#3| (-494)) ELT)) (-3106 (((-583 (-197 |#1| |#3|)) $) 54 (|has| |#3| (-494)) ELT)) (-3114 (((-694) $) NIL T ELT)) (-3113 (((-694) $) NIL T ELT)) (-3118 (((-483) $) NIL T ELT)) (-3116 (((-483) $) NIL T ELT)) (-2608 (((-583 |#3|) $) NIL (|has| $ (-6 -3994)) ELT)) (-3245 (((-85) |#3| $) NIL (-12 (|has| $ (-6 -3994)) (|has| |#3| (-1013))) ELT)) (-3117 (((-483) $) NIL T ELT)) (-3115 (((-483) $) NIL T ELT)) (-3123 (($ (-583 (-583 |#3|))) 30 T ELT)) (-1948 (($ (-1 |#3| |#3|) $) NIL (|has| $ (-6 -3995)) ELT)) (-3957 (($ (-1 |#3| |#3|) $) NIL T ELT) (($ (-1 |#3| |#3| |#3|) $ $) NIL T ELT)) (-3593 (((-583 (-583 |#3|)) $) NIL T ELT)) (-3242 (((-1072) $) NIL T ELT)) (-3243 (((-1033) $) NIL T ELT)) (-3465 (((-3 $ #1#) $ |#3|) NIL (|has| |#3| (-494)) ELT)) (-1946 (((-85) (-1 (-85) |#3|) $) NIL (|has| $ (-6 -3994)) ELT)) (-3767 (($ $ (-583 |#3|) (-583 |#3|)) NIL (-12 (|has| |#3| (-260 |#3|)) (|has| |#3| (-1013))) ELT) (($ $ |#3| |#3|) NIL (-12 (|has| |#3| (-260 |#3|)) (|has| |#3| (-1013))) ELT) (($ $ (-249 |#3|)) NIL (-12 (|has| |#3| (-260 |#3|)) (|has| |#3| (-1013))) ELT) (($ $ (-583 (-249 |#3|))) NIL (-12 (|has| |#3| (-260 |#3|)) (|has| |#3| (-1013))) ELT)) (-1221 (((-85) $ $) NIL T ELT)) (-3402 (((-85) $) NIL T ELT)) (-3564 (($) NIL T ELT)) (-3799 ((|#3| $ (-483) (-483)) NIL T ELT) ((|#3| $ (-483) (-483) |#3|) NIL T ELT)) (-3910 (((-107)) 58 (|has| |#3| (-312)) ELT)) (-3121 (((-85) $) NIL T ELT)) (-1945 (((-694) |#3| $) NIL (-12 (|has| $ (-6 -3994)) (|has| |#3| (-1013))) ELT) (((-694) (-1 (-85) |#3|) $) NIL (|has| $ (-6 -3994)) ELT)) (-3399 (($ $) NIL T ELT)) (-3971 (((-472) $) 65 (|has| |#3| (-553 (-472))) ELT)) (-3110 (((-197 |#1| |#3|) $ (-483)) 39 T ELT)) (-3945 (((-772) $) 18 T ELT) (((-630 |#3|) $) 41 T ELT)) (-1264 (((-85) $ $) NIL T ELT)) (-1947 (((-85) (-1 (-85) |#3|) $) NIL (|has| $ (-6 -3994)) ELT)) (-3119 (((-85) $) NIL T ELT)) (-2660 (($) 15 T CONST)) (-3056 (((-85) $ $) NIL T ELT)) (-3948 (($ $ |#3|) NIL (|has| |#3| (-312)) ELT)) (-3836 (($ $) NIL T ELT) (($ $ $) NIL T ELT)) (-3838 (($ $ $) NIL T ELT)) (* (($ (-830) $) NIL T ELT) (($ (-694) $) NIL T ELT) (($ (-483) $) NIL T ELT) (($ |#3| $) NIL T ELT) (($ $ |#3|) NIL T ELT)) (-3956 (((-694) $) NIL (|has| $ (-6 -3994)) ELT))) 
 (((-966 |#1| |#2| |#3|) (-13 (-965 |#1| |#2| |#3| (-197 |#2| |#3|) (-197 |#1| |#3|)) (-552 (-630 |#3|)) (-10 -8 (IF (|has| |#3| (-312)) (-6 (-1186 |#3|)) |%noBranch|) (IF (|has| |#3| (-553 (-472))) (-6 (-553 (-472))) |%noBranch|) (-15 -3124 ($ (-630 |#3|))))) (-694) (-694) (-961)) (T -966)) 
 ((-3124 (*1 *1 *2) (-12 (-5 *2 (-630 *5)) (-4 *5 (-961)) (-5 *1 (-966 *3 *4 *5)) (-14 *3 (-694)) (-14 *4 (-694))))) 
 ((-3841 ((|#7| (-1 |#7| |#3| |#7|) |#6| |#7|) 36 T ELT)) (-3957 ((|#10| (-1 |#7| |#3|) |#6|) 34 T ELT))) 
@@ -3511,7 +3511,7 @@ NIL
 ((-2568 (((-85) $ $) NIL (|has| (-1053 |#1| |#2|) (-72)) ELT)) (-3401 (((-1053 |#1| |#2|) $) 27 T ELT)) (-3410 (($ $) 91 T ELT)) (-3406 (((-85) (-1053 |#1| |#2|) $ (-1 (-85) |#2| |#2|)) 100 T ELT)) (-3403 (($ $ $ (-583 (-1053 |#1| |#2|))) 108 T ELT) (($ $ $ (-583 (-1053 |#1| |#2|)) (-1 (-85) |#2| |#2|)) 109 T ELT)) (-3025 (((-1053 |#1| |#2|) $ (-1053 |#1| |#2|)) 46 (|has| $ (-6 -3995)) ELT)) (-3787 (((-1053 |#1| |#2|) $ #1="value" (-1053 |#1| |#2|)) NIL (|has| $ (-6 -3995)) ELT)) (-3026 (($ $ (-583 $)) 44 (|has| $ (-6 -3995)) ELT)) (-3723 (($) NIL T CONST)) (-3408 (((-583 (-2 (|:| |val| |#1|) (|:| -1599 |#2|))) $) 95 T ELT)) (-3404 (($ (-1053 |#1| |#2|) $) 42 T ELT)) (-3405 (($ (-1053 |#1| |#2|) $) 34 T ELT)) (-2889 (((-583 (-1053 |#1| |#2|)) $) NIL (|has| $ (-6 -3994)) ELT)) (-3031 (((-583 $) $) 54 T ELT)) (-3407 (((-85) (-1053 |#1| |#2|) $) 97 T ELT)) (-3027 (((-85) $ $) NIL (|has| (-1053 |#1| |#2|) (-1013)) ELT)) (-2608 (((-583 (-1053 |#1| |#2|)) $) 58 (|has| $ (-6 -3994)) ELT)) (-3245 (((-85) (-1053 |#1| |#2|) $) NIL (-12 (|has| $ (-6 -3994)) (|has| (-1053 |#1| |#2|) (-1013))) ELT)) (-1948 (($ (-1 (-1053 |#1| |#2|) (-1053 |#1| |#2|)) $) 50 (|has| $ (-6 -3995)) ELT)) (-3957 (($ (-1 (-1053 |#1| |#2|) (-1053 |#1| |#2|)) $) 49 T ELT)) (-3030 (((-583 (-1053 |#1| |#2|)) $) 56 T ELT)) (-3526 (((-85) $) 45 T ELT)) (-3242 (((-1072) $) NIL (|has| (-1053 |#1| |#2|) (-1013)) ELT)) (-3243 (((-1033) $) NIL (|has| (-1053 |#1| |#2|) (-1013)) ELT)) (-3411 (((-3 $ "failed") $) 89 T ELT)) (-1946 (((-85) (-1 (-85) (-1053 |#1| |#2|)) $) NIL (|has| $ (-6 -3994)) ELT)) (-3767 (($ $ (-583 (-249 (-1053 |#1| |#2|)))) NIL (-12 (|has| (-1053 |#1| |#2|) (-260 (-1053 |#1| |#2|))) (|has| (-1053 |#1| |#2|) (-1013))) ELT) (($ $ (-249 (-1053 |#1| |#2|))) NIL (-12 (|has| (-1053 |#1| |#2|) (-260 (-1053 |#1| |#2|))) (|has| (-1053 |#1| |#2|) (-1013))) ELT) (($ $ (-1053 |#1| |#2|) (-1053 |#1| |#2|)) NIL (-12 (|has| (-1053 |#1| |#2|) (-260 (-1053 |#1| |#2|))) (|has| (-1053 |#1| |#2|) (-1013))) ELT) (($ $ (-583 (-1053 |#1| |#2|)) (-583 (-1053 |#1| |#2|))) NIL (-12 (|has| (-1053 |#1| |#2|) (-260 (-1053 |#1| |#2|))) (|has| (-1053 |#1| |#2|) (-1013))) ELT)) (-1221 (((-85) $ $) 53 T ELT)) (-3402 (((-85) $) 24 T ELT)) (-3564 (($) 26 T ELT)) (-3799 (((-1053 |#1| |#2|) $ #1#) NIL T ELT)) (-3029 (((-483) $ $) NIL T ELT)) (-3632 (((-85) $) 47 T ELT)) (-1945 (((-694) (-1 (-85) (-1053 |#1| |#2|)) $) NIL (|has| $ (-6 -3994)) ELT) (((-694) (-1053 |#1| |#2|) $) NIL (-12 (|has| $ (-6 -3994)) (|has| (-1053 |#1| |#2|) (-1013))) ELT)) (-3399 (($ $) 52 T ELT)) (-3529 (($ (-1053 |#1| |#2|)) 10 T ELT) (($ |#1| |#2| (-583 $)) 13 T ELT) (($ |#1| |#2| (-583 (-1053 |#1| |#2|))) 15 T ELT) (($ |#1| |#2| |#1| (-583 |#2|)) 18 T ELT)) (-3409 (((-583 |#2|) $) 96 T ELT)) (-3945 (((-772) $) 87 (|has| (-1053 |#1| |#2|) (-552 (-772))) ELT)) (-3521 (((-583 $) $) 31 T ELT)) (-3028 (((-85) $ $) NIL (|has| (-1053 |#1| |#2|) (-1013)) ELT)) (-1264 (((-85) $ $) NIL (|has| (-1053 |#1| |#2|) (-72)) ELT)) (-1947 (((-85) (-1 (-85) (-1053 |#1| |#2|)) $) NIL (|has| $ (-6 -3994)) ELT)) (-3056 (((-85) $ $) 70 (|has| (-1053 |#1| |#2|) (-72)) ELT)) (-3956 (((-694) $) 64 (|has| $ (-6 -3994)) ELT))) 
 (((-1054 |#1| |#2|) (-13 (-923 (-1053 |#1| |#2|)) (-10 -8 (-6 -3995) (-6 -3994) (-15 -3411 ((-3 $ "failed") $)) (-15 -3410 ($ $)) (-15 -3529 ($ (-1053 |#1| |#2|))) (-15 -3529 ($ |#1| |#2| (-583 $))) (-15 -3529 ($ |#1| |#2| (-583 (-1053 |#1| |#2|)))) (-15 -3529 ($ |#1| |#2| |#1| (-583 |#2|))) (-15 -3409 ((-583 |#2|) $)) (-15 -3408 ((-583 (-2 (|:| |val| |#1|) (|:| -1599 |#2|))) $)) (-15 -3407 ((-85) (-1053 |#1| |#2|) $)) (-15 -3406 ((-85) (-1053 |#1| |#2|) $ (-1 (-85) |#2| |#2|))) (-15 -3405 ($ (-1053 |#1| |#2|) $)) (-15 -3404 ($ (-1053 |#1| |#2|) $)) (-15 -3403 ($ $ $ (-583 (-1053 |#1| |#2|)))) (-15 -3403 ($ $ $ (-583 (-1053 |#1| |#2|)) (-1 (-85) |#2| |#2|))))) (-13 (-1013) (-34)) (-13 (-1013) (-34))) (T -1054)) 
 ((-3411 (*1 *1 *1) (|partial| -12 (-5 *1 (-1054 *2 *3)) (-4 *2 (-13 (-1013) (-34))) (-4 *3 (-13 (-1013) (-34))))) (-3410 (*1 *1 *1) (-12 (-5 *1 (-1054 *2 *3)) (-4 *2 (-13 (-1013) (-34))) (-4 *3 (-13 (-1013) (-34))))) (-3529 (*1 *1 *2) (-12 (-5 *2 (-1053 *3 *4)) (-4 *3 (-13 (-1013) (-34))) (-4 *4 (-13 (-1013) (-34))) (-5 *1 (-1054 *3 *4)))) (-3529 (*1 *1 *2 *3 *4) (-12 (-5 *4 (-583 (-1054 *2 *3))) (-5 *1 (-1054 *2 *3)) (-4 *2 (-13 (-1013) (-34))) (-4 *3 (-13 (-1013) (-34))))) (-3529 (*1 *1 *2 *3 *4) (-12 (-5 *4 (-583 (-1053 *2 *3))) (-4 *2 (-13 (-1013) (-34))) (-4 *3 (-13 (-1013) (-34))) (-5 *1 (-1054 *2 *3)))) (-3529 (*1 *1 *2 *3 *2 *4) (-12 (-5 *4 (-583 *3)) (-4 *3 (-13 (-1013) (-34))) (-5 *1 (-1054 *2 *3)) (-4 *2 (-13 (-1013) (-34))))) (-3409 (*1 *2 *1) (-12 (-5 *2 (-583 *4)) (-5 *1 (-1054 *3 *4)) (-4 *3 (-13 (-1013) (-34))) (-4 *4 (-13 (-1013) (-34))))) (-3408 (*1 *2 *1) (-12 (-5 *2 (-583 (-2 (|:| |val| *3) (|:| -1599 *4)))) (-5 *1 (-1054 *3 *4)) (-4 *3 (-13 (-1013) (-34))) (-4 *4 (-13 (-1013) (-34))))) (-3407 (*1 *2 *3 *1) (-12 (-5 *3 (-1053 *4 *5)) (-4 *4 (-13 (-1013) (-34))) (-4 *5 (-13 (-1013) (-34))) (-5 *2 (-85)) (-5 *1 (-1054 *4 *5)))) (-3406 (*1 *2 *3 *1 *4) (-12 (-5 *3 (-1053 *5 *6)) (-5 *4 (-1 (-85) *6 *6)) (-4 *5 (-13 (-1013) (-34))) (-4 *6 (-13 (-1013) (-34))) (-5 *2 (-85)) (-5 *1 (-1054 *5 *6)))) (-3405 (*1 *1 *2 *1) (-12 (-5 *2 (-1053 *3 *4)) (-4 *3 (-13 (-1013) (-34))) (-4 *4 (-13 (-1013) (-34))) (-5 *1 (-1054 *3 *4)))) (-3404 (*1 *1 *2 *1) (-12 (-5 *2 (-1053 *3 *4)) (-4 *3 (-13 (-1013) (-34))) (-4 *4 (-13 (-1013) (-34))) (-5 *1 (-1054 *3 *4)))) (-3403 (*1 *1 *1 *1 *2) (-12 (-5 *2 (-583 (-1053 *3 *4))) (-4 *3 (-13 (-1013) (-34))) (-4 *4 (-13 (-1013) (-34))) (-5 *1 (-1054 *3 *4)))) (-3403 (*1 *1 *1 *1 *2 *3) (-12 (-5 *2 (-583 (-1053 *4 *5))) (-5 *3 (-1 (-85) *5 *5)) (-4 *4 (-13 (-1013) (-34))) (-4 *5 (-13 (-1013) (-34))) (-5 *1 (-1054 *4 *5))))) 
-((-2568 (((-85) $ $) NIL T ELT)) (-3188 (((-85) $) NIL T ELT)) (-3413 (($ $) NIL T ELT)) (-3329 ((|#2| $) NIL T ELT)) (-3120 (((-85) $) NIL T ELT)) (-1311 (((-3 $ #1="failed") $ $) NIL T ELT)) (-3412 (($ (-630 |#2|)) 55 T ELT)) (-3122 (((-85) $) NIL T ELT)) (-3332 (($ |#2|) 14 T ELT)) (-3723 (($) NIL T CONST)) (-3109 (($ $) 68 (|has| |#2| (-258)) ELT)) (-3111 (((-197 |#1| |#2|) $ (-483)) 42 T ELT)) (-3157 (((-3 (-483) #1#) $) NIL (|has| |#2| (-950 (-483))) ELT) (((-3 (-348 (-483)) #1#) $) NIL (|has| |#2| (-950 (-348 (-483)))) ELT) (((-3 |#2| #1#) $) NIL T ELT)) (-3156 (((-483) $) NIL (|has| |#2| (-950 (-483))) ELT) (((-348 (-483)) $) NIL (|has| |#2| (-950 (-348 (-483)))) ELT) ((|#2| $) NIL T ELT)) (-2279 (((-630 (-483)) (-630 $)) NIL (|has| |#2| (-580 (-483))) ELT) (((-2 (|:| |mat| (-630 (-483))) (|:| |vec| (-1178 (-483)))) (-630 $) (-1178 $)) NIL (|has| |#2| (-580 (-483))) ELT) (((-2 (|:| |mat| (-630 |#2|)) (|:| |vec| (-1178 |#2|))) (-630 $) (-1178 $)) NIL T ELT) (((-630 |#2|) (-630 $)) NIL T ELT)) (-3466 (((-3 $ #1#) $) 82 T ELT)) (-3108 (((-694) $) 70 (|has| |#2| (-494)) ELT)) (-3112 ((|#2| $ (-483) (-483)) NIL T ELT)) (-2889 (((-583 |#2|) $) NIL (|has| $ (-6 -3994)) ELT)) (-1213 (((-85) $ $) NIL T ELT)) (-2410 (((-85) $) NIL T ELT)) (-3107 (((-694) $) 72 (|has| |#2| (-494)) ELT)) (-3106 (((-583 (-197 |#1| |#2|)) $) 76 (|has| |#2| (-494)) ELT)) (-3114 (((-694) $) NIL T ELT)) (-3613 (($ |#2|) 25 T ELT)) (-3113 (((-694) $) NIL T ELT)) (-3326 ((|#2| $) 66 (|has| |#2| (-6 (-3996 #2="*"))) ELT)) (-3118 (((-483) $) NIL T ELT)) (-3116 (((-483) $) NIL T ELT)) (-2608 (((-583 |#2|) $) NIL (|has| $ (-6 -3994)) ELT)) (-3245 (((-85) |#2| $) NIL (-12 (|has| $ (-6 -3994)) (|has| |#2| (-1013))) ELT)) (-3117 (((-483) $) NIL T ELT)) (-3115 (((-483) $) NIL T ELT)) (-3123 (($ (-583 (-583 |#2|))) 37 T ELT)) (-1948 (($ (-1 |#2| |#2|) $) NIL (|has| $ (-6 -3995)) ELT)) (-3957 (($ (-1 |#2| |#2| |#2|) $ $) NIL T ELT) (($ (-1 |#2| |#2|) $) NIL T ELT)) (-3593 (((-583 (-583 |#2|)) $) NIL T ELT)) (-2280 (((-630 (-483)) (-1178 $)) NIL (|has| |#2| (-580 (-483))) ELT) (((-2 (|:| |mat| (-630 (-483))) (|:| |vec| (-1178 (-483)))) (-1178 $) $) NIL (|has| |#2| (-580 (-483))) ELT) (((-2 (|:| |mat| (-630 |#2|)) (|:| |vec| (-1178 |#2|))) (-1178 $) $) NIL T ELT) (((-630 |#2|) (-1178 $)) NIL T ELT)) (-3242 (((-1072) $) NIL T ELT)) (-3589 (((-3 $ #1#) $) 79 (|has| |#2| (-312)) ELT)) (-3243 (((-1033) $) NIL T ELT)) (-3465 (((-3 $ #1#) $ |#2|) NIL (|has| |#2| (-494)) ELT)) (-1946 (((-85) (-1 (-85) |#2|) $) NIL (|has| $ (-6 -3994)) ELT)) (-3767 (($ $ (-583 (-249 |#2|))) NIL (-12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1013))) ELT) (($ $ (-249 |#2|)) NIL (-12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1013))) ELT) (($ $ |#2| |#2|) NIL (-12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1013))) ELT) (($ $ (-583 |#2|) (-583 |#2|)) NIL (-12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1013))) ELT)) (-1221 (((-85) $ $) NIL T ELT)) (-3402 (((-85) $) NIL T ELT)) (-3564 (($) NIL T ELT)) (-3799 ((|#2| $ (-483) (-483) |#2|) NIL T ELT) ((|#2| $ (-483) (-483)) NIL T ELT)) (-3757 (($ $ (-1 |#2| |#2|) (-694)) NIL T ELT) (($ $ (-1 |#2| |#2|)) NIL T ELT) (($ $) NIL (|has| |#2| (-189)) ELT) (($ $ (-694)) NIL (|has| |#2| (-189)) ELT) (($ $ (-1089)) NIL (|has| |#2| (-811 (-1089))) ELT) (($ $ (-583 (-1089))) NIL (|has| |#2| (-811 (-1089))) ELT) (($ $ (-1089) (-694)) NIL (|has| |#2| (-811 (-1089))) ELT) (($ $ (-583 (-1089)) (-583 (-694))) NIL (|has| |#2| (-811 (-1089))) ELT)) (-3328 ((|#2| $) NIL T ELT)) (-3331 (($ (-583 |#2|)) 50 T ELT)) (-3121 (((-85) $) NIL T ELT)) (-3330 (((-197 |#1| |#2|) $) NIL T ELT)) (-3327 ((|#2| $) 64 (|has| |#2| (-6 (-3996 #2#))) ELT)) (-1945 (((-694) (-1 (-85) |#2|) $) NIL (|has| $ (-6 -3994)) ELT) (((-694) |#2| $) NIL (-12 (|has| $ (-6 -3994)) (|has| |#2| (-1013))) ELT)) (-3399 (($ $) NIL T ELT)) (-3971 (((-472) $) 89 (|has| |#2| (-553 (-472))) ELT)) (-3110 (((-197 |#1| |#2|) $ (-483)) 44 T ELT)) (-3945 (((-772) $) 47 T ELT) (($ (-483)) NIL T ELT) (($ (-348 (-483))) NIL (|has| |#2| (-950 (-348 (-483)))) ELT) (($ |#2|) NIL T ELT) (((-630 |#2|) $) 52 T ELT)) (-3126 (((-694)) 23 T CONST)) (-1264 (((-85) $ $) NIL T ELT)) (-1947 (((-85) (-1 (-85) |#2|) $) NIL (|has| $ (-6 -3994)) ELT)) (-3119 (((-85) $) NIL T ELT)) (-3125 (((-85) $ $) NIL T ELT)) (-2660 (($) 16 T CONST)) (-2666 (($) 21 T CONST)) (-2669 (($ $ (-1 |#2| |#2|) (-694)) NIL T ELT) (($ $ (-1 |#2| |#2|)) NIL T ELT) (($ $) NIL (|has| |#2| (-189)) ELT) (($ $ (-694)) NIL (|has| |#2| (-189)) ELT) (($ $ (-1089)) NIL (|has| |#2| (-811 (-1089))) ELT) (($ $ (-583 (-1089))) NIL (|has| |#2| (-811 (-1089))) ELT) (($ $ (-1089) (-694)) NIL (|has| |#2| (-811 (-1089))) ELT) (($ $ (-583 (-1089)) (-583 (-694))) NIL (|has| |#2| (-811 (-1089))) ELT)) (-3056 (((-85) $ $) NIL T ELT)) (-3948 (($ $ |#2|) NIL (|has| |#2| (-312)) ELT)) (-3836 (($ $) NIL T ELT) (($ $ $) NIL T ELT)) (-3838 (($ $ $) NIL T ELT)) (** (($ $ (-830)) NIL T ELT) (($ $ (-694)) 62 T ELT) (($ $ (-483)) 81 (|has| |#2| (-312)) ELT)) (* (($ (-830) $) NIL T ELT) (($ (-694) $) NIL T ELT) (($ (-483) $) NIL T ELT) (($ $ $) NIL T ELT) (($ $ |#2|) NIL T ELT) (($ |#2| $) NIL T ELT) (((-197 |#1| |#2|) $ (-197 |#1| |#2|)) 58 T ELT) (((-197 |#1| |#2|) (-197 |#1| |#2|) $) 60 T ELT)) (-3956 (((-694) $) NIL (|has| $ (-6 -3994)) ELT))) 
+((-2568 (((-85) $ $) NIL T ELT)) (-3188 (((-85) $) NIL T ELT)) (-3413 (($ $) NIL T ELT)) (-3329 ((|#2| $) NIL T ELT)) (-3120 (((-85) $) NIL T ELT)) (-1311 (((-3 $ #1="failed") $ $) NIL T ELT)) (-3412 (($ (-630 |#2|)) 53 T ELT)) (-3122 (((-85) $) NIL T ELT)) (-3332 (($ |#2|) 14 T ELT)) (-3723 (($) NIL T CONST)) (-3109 (($ $) 66 (|has| |#2| (-258)) ELT)) (-3111 (((-197 |#1| |#2|) $ (-483)) 40 T ELT)) (-3157 (((-3 (-483) #1#) $) NIL (|has| |#2| (-950 (-483))) ELT) (((-3 (-348 (-483)) #1#) $) NIL (|has| |#2| (-950 (-348 (-483)))) ELT) (((-3 |#2| #1#) $) NIL T ELT)) (-3156 (((-483) $) NIL (|has| |#2| (-950 (-483))) ELT) (((-348 (-483)) $) NIL (|has| |#2| (-950 (-348 (-483)))) ELT) ((|#2| $) NIL T ELT)) (-2279 (((-630 (-483)) (-630 $)) NIL (|has| |#2| (-580 (-483))) ELT) (((-2 (|:| |mat| (-630 (-483))) (|:| |vec| (-1178 (-483)))) (-630 $) (-1178 $)) NIL (|has| |#2| (-580 (-483))) ELT) (((-2 (|:| |mat| (-630 |#2|)) (|:| |vec| (-1178 |#2|))) (-630 $) (-1178 $)) NIL T ELT) (((-630 |#2|) (-630 $)) NIL T ELT)) (-3466 (((-3 $ #1#) $) 80 T ELT)) (-3108 (((-694) $) 68 (|has| |#2| (-494)) ELT)) (-3112 ((|#2| $ (-483) (-483)) NIL T ELT)) (-2889 (((-583 |#2|) $) NIL (|has| $ (-6 -3994)) ELT)) (-1213 (((-85) $ $) NIL T ELT)) (-2410 (((-85) $) NIL T ELT)) (-3107 (((-694) $) 70 (|has| |#2| (-494)) ELT)) (-3106 (((-583 (-197 |#1| |#2|)) $) 74 (|has| |#2| (-494)) ELT)) (-3114 (((-694) $) NIL T ELT)) (-3613 (($ |#2|) 23 T ELT)) (-3113 (((-694) $) NIL T ELT)) (-3326 ((|#2| $) 64 (|has| |#2| (-6 (-3996 #2="*"))) ELT)) (-3118 (((-483) $) NIL T ELT)) (-3116 (((-483) $) NIL T ELT)) (-2608 (((-583 |#2|) $) NIL (|has| $ (-6 -3994)) ELT)) (-3245 (((-85) |#2| $) NIL (-12 (|has| $ (-6 -3994)) (|has| |#2| (-1013))) ELT)) (-3117 (((-483) $) NIL T ELT)) (-3115 (((-483) $) NIL T ELT)) (-3123 (($ (-583 (-583 |#2|))) 35 T ELT)) (-1948 (($ (-1 |#2| |#2|) $) NIL (|has| $ (-6 -3995)) ELT)) (-3957 (($ (-1 |#2| |#2| |#2|) $ $) NIL T ELT) (($ (-1 |#2| |#2|) $) NIL T ELT)) (-3593 (((-583 (-583 |#2|)) $) NIL T ELT)) (-2280 (((-630 (-483)) (-1178 $)) NIL (|has| |#2| (-580 (-483))) ELT) (((-2 (|:| |mat| (-630 (-483))) (|:| |vec| (-1178 (-483)))) (-1178 $) $) NIL (|has| |#2| (-580 (-483))) ELT) (((-2 (|:| |mat| (-630 |#2|)) (|:| |vec| (-1178 |#2|))) (-1178 $) $) NIL T ELT) (((-630 |#2|) (-1178 $)) NIL T ELT)) (-3242 (((-1072) $) NIL T ELT)) (-3589 (((-3 $ #1#) $) 77 (|has| |#2| (-312)) ELT)) (-3243 (((-1033) $) NIL T ELT)) (-3465 (((-3 $ #1#) $ |#2|) NIL (|has| |#2| (-494)) ELT)) (-1946 (((-85) (-1 (-85) |#2|) $) NIL (|has| $ (-6 -3994)) ELT)) (-3767 (($ $ (-583 (-249 |#2|))) NIL (-12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1013))) ELT) (($ $ (-249 |#2|)) NIL (-12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1013))) ELT) (($ $ |#2| |#2|) NIL (-12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1013))) ELT) (($ $ (-583 |#2|) (-583 |#2|)) NIL (-12 (|has| |#2| (-260 |#2|)) (|has| |#2| (-1013))) ELT)) (-1221 (((-85) $ $) NIL T ELT)) (-3402 (((-85) $) NIL T ELT)) (-3564 (($) NIL T ELT)) (-3799 ((|#2| $ (-483) (-483) |#2|) NIL T ELT) ((|#2| $ (-483) (-483)) NIL T ELT)) (-3757 (($ $ (-1 |#2| |#2|) (-694)) NIL T ELT) (($ $ (-1 |#2| |#2|)) NIL T ELT) (($ $) NIL (|has| |#2| (-189)) ELT) (($ $ (-694)) NIL (|has| |#2| (-189)) ELT) (($ $ (-1089)) NIL (|has| |#2| (-811 (-1089))) ELT) (($ $ (-583 (-1089))) NIL (|has| |#2| (-811 (-1089))) ELT) (($ $ (-1089) (-694)) NIL (|has| |#2| (-811 (-1089))) ELT) (($ $ (-583 (-1089)) (-583 (-694))) NIL (|has| |#2| (-811 (-1089))) ELT)) (-3328 ((|#2| $) NIL T ELT)) (-3331 (($ (-583 |#2|)) 48 T ELT)) (-3121 (((-85) $) NIL T ELT)) (-3330 (((-197 |#1| |#2|) $) NIL T ELT)) (-3327 ((|#2| $) 62 (|has| |#2| (-6 (-3996 #2#))) ELT)) (-1945 (((-694) (-1 (-85) |#2|) $) NIL (|has| $ (-6 -3994)) ELT) (((-694) |#2| $) NIL (-12 (|has| $ (-6 -3994)) (|has| |#2| (-1013))) ELT)) (-3399 (($ $) NIL T ELT)) (-3971 (((-472) $) 87 (|has| |#2| (-553 (-472))) ELT)) (-3110 (((-197 |#1| |#2|) $ (-483)) 42 T ELT)) (-3945 (((-772) $) 45 T ELT) (($ (-483)) NIL T ELT) (($ (-348 (-483))) NIL (|has| |#2| (-950 (-348 (-483)))) ELT) (($ |#2|) NIL T ELT) (((-630 |#2|) $) 50 T ELT)) (-3126 (((-694)) 21 T CONST)) (-1264 (((-85) $ $) NIL T ELT)) (-1947 (((-85) (-1 (-85) |#2|) $) NIL (|has| $ (-6 -3994)) ELT)) (-3119 (((-85) $) NIL T ELT)) (-3125 (((-85) $ $) NIL T ELT)) (-2660 (($) 15 T CONST)) (-2666 (($) 19 T CONST)) (-2669 (($ $ (-1 |#2| |#2|) (-694)) NIL T ELT) (($ $ (-1 |#2| |#2|)) NIL T ELT) (($ $) NIL (|has| |#2| (-189)) ELT) (($ $ (-694)) NIL (|has| |#2| (-189)) ELT) (($ $ (-1089)) NIL (|has| |#2| (-811 (-1089))) ELT) (($ $ (-583 (-1089))) NIL (|has| |#2| (-811 (-1089))) ELT) (($ $ (-1089) (-694)) NIL (|has| |#2| (-811 (-1089))) ELT) (($ $ (-583 (-1089)) (-583 (-694))) NIL (|has| |#2| (-811 (-1089))) ELT)) (-3056 (((-85) $ $) NIL T ELT)) (-3948 (($ $ |#2|) NIL (|has| |#2| (-312)) ELT)) (-3836 (($ $) NIL T ELT) (($ $ $) NIL T ELT)) (-3838 (($ $ $) NIL T ELT)) (** (($ $ (-830)) NIL T ELT) (($ $ (-694)) 60 T ELT) (($ $ (-483)) 79 (|has| |#2| (-312)) ELT)) (* (($ (-830) $) NIL T ELT) (($ (-694) $) NIL T ELT) (($ (-483) $) NIL T ELT) (($ $ $) NIL T ELT) (($ $ |#2|) NIL T ELT) (($ |#2| $) NIL T ELT) (((-197 |#1| |#2|) $ (-197 |#1| |#2|)) 56 T ELT) (((-197 |#1| |#2|) (-197 |#1| |#2|) $) 58 T ELT)) (-3956 (((-694) $) NIL (|has| $ (-6 -3994)) ELT))) 
 (((-1055 |#1| |#2|) (-13 (-1036 |#1| |#2| (-197 |#1| |#2|) (-197 |#1| |#2|)) (-552 (-630 |#2|)) (-10 -8 (-15 -3613 ($ |#2|)) (-15 -3413 ($ $)) (-15 -3412 ($ (-630 |#2|))) (IF (|has| |#2| (-6 (-3996 #1="*"))) (-6 -3983) |%noBranch|) (IF (|has| |#2| (-6 (-3996 #1#))) (IF (|has| |#2| (-6 -3991)) (-6 -3991) |%noBranch|) |%noBranch|) (IF (|has| |#2| (-553 (-472))) (-6 (-553 (-472))) |%noBranch|))) (-694) (-961)) (T -1055)) 
 ((-3613 (*1 *1 *2) (-12 (-5 *1 (-1055 *3 *2)) (-14 *3 (-694)) (-4 *2 (-961)))) (-3413 (*1 *1 *1) (-12 (-5 *1 (-1055 *2 *3)) (-14 *2 (-694)) (-4 *3 (-961)))) (-3412 (*1 *1 *2) (-12 (-5 *2 (-630 *4)) (-4 *4 (-961)) (-5 *1 (-1055 *3 *4)) (-14 *3 (-694))))) 
 ((-3426 (($ $) 19 T ELT)) (-3416 (($ $ (-117)) 10 T ELT) (($ $ (-114)) 14 T ELT)) (-3424 (((-85) $ $) 24 T ELT)) (-3428 (($ $) 17 T ELT)) (-3799 (((-117) $ (-483) (-117)) NIL T ELT) (((-117) $ (-483)) NIL T ELT) (($ $ (-1145 (-483))) NIL T ELT) (($ $ $) 31 T ELT)) (-3945 (($ (-117)) 29 T ELT) (((-772) $) NIL T ELT))) 
diff --git a/src/share/algebra/operation.daase b/src/share/algebra/operation.daase
index 7e326d21..8b2db0d2 100644
--- a/src/share/algebra/operation.daase
+++ b/src/share/algebra/operation.daase
@@ -1,5 +1,5 @@
 
-(631058 . 3577306242)        
+(631058 . 3577307072)        
 (((*1 *2 *3 *4)
   (|partial| -12 (-5 *3 (-1178 *4)) (-4 *4 (-13 (-961) (-580 (-483))))
    (-5 *2 (-1178 (-348 (-483)))) (-5 *1 (-1207 *4)))))