(bounded_intsnil 3276445937"" (skosimp* t)"" (typepred "sup(SS!1)" )"" (expand "least_upper_bound" )"" (flatten)"" (case "upper_bound(<=)(floor(sup(SS!1)), SS!1)" )"1" (inst - "floor(sup(SS!1))" )"1" (assert )"1" (split +)"1" (assert ) nil nil ) ("2" (assert ) nil nil )) nil ))nil ))nil )"2" (hide 2 -2)"2" (expand "upper_bound" )"2" (skosimp* t)"2" (inst?) (("2" (assert ) nil nil )) nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"{x | least_upper_bound(<=)(x, Su)}" bounded_reals"reals/" )"bool" reals nil )"bool" bound_defs "reals/" )nil defined_types nil )"(total_order?[real])" nil )"bool" bound_defs "reals/" )nil integers nil )AND const-decl "[bool, bool -> bool]" booleans nil )"bool" reals nil )nil number_fields nil )"[numfield, numfield -> numfield]" number_fields nil )"{i | i <= x & x < i + 1}" floor_ceil 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 )"[real -> boolean]" rationals nil )nil rationals nil )"[rational -> boolean]" integers nil )nil integers nil )set type-eq-decl nil sets nil )"bool" sets nil )nil defined_types nil )"bool" bounded_reals "reals/" )nil bounded_reals "reals/" ))nil )nil 3276445256"" (skosimp*) (("" (use "sup_int_is_int" ) nil nil )) nil )"bool" bounded_reals "reals/" )nil bounded_reals "reals/" ))nil 3276434506"" (skosimp* t)"" (expand "in_set" )"" (typepred "sup(SS!1)" )"" (expand "least_upper_bound" )"" (flatten)"" (case "upper_bound(<=)(sup(SS!1) - 1, SS!1)" )"1" (inst - "sup(SS!1) - 1" ) (("1" (assert ) nil nil ))nil )"2" (hide -2)"2" (expand "upper_bound" )"2" (skosimp* t)"2" (inst?)"2" (case-replace "z!1 = sup(SS!1)" )"2" (assert )"2" (case "EXISTS (i:int): i = sup(SS!1)" )"1" (skosimp*)"1" replace -1 :dir rl :hide? t)"1" (assert ) nil nil ))nil ))nil )"2" (inst + "sup(SS!1)" ) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"int" bounded_ints nil )"bool" bounded_reals "reals/" )"(total_order?[real])" nil )"int" integers nil )"bool" bound_defs "reals/" )nil number_fields nil )"[numfield, numfield -> numfield]" number_fields nil )"[T, T -> boolean]" equalities nil )nil defined_types nil )"bool" bound_defs "reals/" )"bool" reals nil )"{x | least_upper_bound(<=)(x, Su)}" bounded_reals"reals/" )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 )"[real -> boolean]" rationals nil )nil rationals nil )"[rational -> boolean]" integers nil )nil integers nil )set type-eq-decl nil sets nil )"bool" sets nil )nil defined_types nil )"bool" bounded_reals "reals/" )nil bounded_reals "reals/" ))nil 3309356067"" (skosimp* t)"" (use "sup_int_in_set" )"" (expand "in_set" ) (("" (propax) nil nil )) nil )) nil ))nil )nil bounded_ints nil )"bool" bounded_reals "reals/" )"int" bounded_ints 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 )"[real -> boolean]" rationals nil )nil rationals nil )"[rational -> boolean]" integers nil )nil integers nil )set type-eq-decl nil sets nil )"bool" sets nil )nil defined_types nil )"bool" bounded_reals "reals/" )nil bounded_reals "reals/" ))nil )))quality 100%
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
