(vect_4D_3D_2Dnil 3418464830 ("" (grind) nil nil )"Vector" vectors_4D nil )"Vect2" vect_4D_3D_2D nil )"Vector" vectors_2D nil ))nil 3418464835 ("" (grind) nil nil )"Vector" vectors_4D nil )"Vect2" vect_4D_3D_2D nil )"Vector" vectors_2D nil ))nil 3418464918 ("" (grind) nil nil )"Vector" vectors_4D nil )"Vect2" vect_4D_3D_2D nil )"Vector" vectors_2D nil ))nil 3430137150 ("" (grind) nil nil )"Vector" vectors_4D nil )"Vect2" vect_4D_3D_2D nil )"Vector" vectors_2D nil ))nil 3421059262"" (expand "vect2" )"" (apply-extensionality 1 :hide? t) nil nil )) nil )nil vectors_4D nil )"Vector" vectors_4D nil )nil vectors_2D nil )"Vector" vectors_2D nil )nil vectors_4D nil )nil vectors_2D nil )nil vectors_4D nil )nil vectors_2D nil )nil reals nil )nil vectors_2D_def nil )"Vect2" vect_4D_3D_2D nil ))nil 3462008946 ("" (grind) nil nil )"Vect2" vect_4D_3D_2D nil )) shostak))nil 3462008952"" (grind) (("" (decompose-equality 1) nil nil )) nil )nil vectors_2D_def nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil numbers nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil )"Vect2" vect_4D_3D_2D nil ))nil 3462008999"" (skeep)"" "ww" "vect2(v) WITH [z |-> v`z] WITH [ t |-> v`t]" nil )"" (case "ww`x=v`x AND ww`y=v`y AND ww`z=v`z AND ww`t = v`t" )"1" (hide -2)"1" (flatten)"1" (apply-extensionality 1 ':hide? t) nil nil)) nil)) nil )"2" (hide 2)"2" (replaces -1 :dir rl)"2" (expand "vect2" ) (("2" (propax) nil nil )) nil )) nil ))nil ))nil ))nil ))nil )nil reals nil )nil numbers nil )nil booleans nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )"[T, T -> boolean]" equalities nil )nil vectors_4D_def nil )nil vectors_2D_def nil )"Vect2" vect_4D_3D_2D nil )nil booleans nil )AND const-decl "[bool, bool -> bool]" booleans nil ))nil 3602520529 ("" (grind) nil nil )"Vector" vectors_4D nil )"Vect3" vect_4D_3D_2D nil )"Vector" vectors_3D nil ))nil 3602520536 ("" (grind) nil nil )"Vector" vectors_4D nil )"Vect3" vect_4D_3D_2D nil )"Vector" vectors_3D nil ))nil 3602520541 ("" (grind) nil nil )"Vector" vectors_4D nil )"Vect3" vect_4D_3D_2D nil )"Vector" vectors_3D nil ))nil 3602520547 ("" (grind) nil nil )"Vector" vectors_4D nil )"Vect3" vect_4D_3D_2D nil )"Vector" vectors_3D nil ))nil 3602520553 ("" (grind) nil nil )"Vector" vectors_4D nil )"Vect3" vect_4D_3D_2D nil )"Vector" vectors_3D nil ))nil 3602520558 ("" (grind) nil nil )"Vect3" vect_4D_3D_2D nil )) shostak))nil 3602520564"" (skeep)"" (apply-extensionality 1 :hide? t)"1" (grind) nil nil ) ("2" (grind) nil nil )"3" (grind) nil nil ))nil ))nil )nil reals nil )nil vectors_3D_def nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil booleans nil )nil numbers nil )"Vect3" vect_4D_3D_2D nil )nil vectors_4D_def nil ))nil 3602520591"" (skeep)"" (apply-extensionality 1 :hide? t)"1" (grind) nil nil ) ("2" (grind) nil nil )"3" (grind) nil nil ))nil ))nil )nil reals nil )nil numbers nil )nil booleans nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )"Vect3" vect_4D_3D_2D nil )nil vectors_3D_def nil )nil vectors_4D_def nil ))quality 81%
¤ Dauer der Verarbeitung: 0.17 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
