(group_testnil 3293317341"" (expand "fullset" )"" (expand "abelian_group?" )"" (expand "group?" )"" (split)"1" (grind) nil nil )"2" (expand "inv_exists?" )"2" (skosimp*)"2" (inst + "-x!1" ) (("2" (grind) nil nil )) nil )) nil ))nil )"3" (grind) nil nil ))nil ))nil ))nil ))nil )"bool" group_def nil )"bool" sets nil )"bool" groupoid_def nil )"R" restrict nil )identity ? const-decl "bool" operator_defs nil )"bool" monad_def nil )"bool" operator_defs nil )"bool" monoid_def nil )"int" integers nil )"[numfield -> numfield]" number_fields nil )nil number_fields nil )"bool" booleans nil )nil booleans nil )nil integers nil )"[rational -> boolean]" integers nil )nil rationals nil )"[real -> boolean]" rationals nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil booleans nil )nil numbers nil )"int" integers nil )"bool" group_def nil )"bool" operator_defs nil )"bool" group_def nil )"set" sets nil ))nil 3293317603"" (expand "abelian_group?" )"" (expand "group?" )"" (split)"1" (grind) nil nil )"2" (expand "inv_exists?" )"2" (skosimp*)"2" (typepred "x!1" )"2" (inst + "1/x!1" )"1" (assert ) nil nil ) ("2" (grind) nil nil )) nil ))nil ))nil ))nil )"3" (grind) nil nil ))nil ))nil ))nil )"bool" group_def nil )"bool" operator_defs nil )"bool" group_def nil )set type-eq-decl nil sets nil )nil rationals nil )nil rationals nil )"[real -> boolean]" rationals nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )"boolean" notequal nil )nil numbers nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil )"(fullset[nzrat])" group_test nil )"[numfield, nznum -> numfield]" number_fields nil )nil number_fields nil )nil number_fields nil )"nzrat" rationalsnil )"nzrat" rationalsnil )"bool" monoid_def nil )"bool" operator_defs nil )"bool" monad_def nil )identity ? const-decl "bool" operator_defs nil )"R" restrict nil )"bool" groupoid_def nil )"bool" sets nil )"set" sets nil )"bool" group_def nil ))nil 3293317482"" (expand "abelian_group?" )"" (expand "group?" )"" (split)"1" (grind) nil nil )"2" (expand "inv_exists?" )"2" (skosimp*)"2" (inst + "1/x!1" )"1" (grind) nil nil ) ("2" (grind) nil nil )) nil ))nil ))nil )"3" (grind) nil nil ))nil ))nil ))nil )"bool" group_def nil )"bool" operator_defs nil )"bool" group_def nil )"posrat" nil )"(fullset[posrat])" group_test nil )"[numfield, nznum -> numfield]" number_fields nil )nil number_fields nil )"boolean" notequal nil )nil number_fields nil )set type-eq-decl nil sets nil )nil rationals nil )"bool" reals nil )nil rationals nil )"bool" reals nil )nil booleans nil )nil rationals nil )"[real -> boolean]" rationals nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil booleans nil )nil numbers nil )"posrat" nil )"bool" monoid_def nil )"bool" operator_defs nil )"bool" monad_def nil )identity ? const-decl "bool" operator_defs nil )"R" restrict nil )"bool" groupoid_def nil )"bool" sets nil )"set" sets nil )"bool" group_def nil ))quality 96%
¤ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
