equal
deleted
inserted
replaced
57 Extremum :: "bool => toreal" |
57 Extremum :: "bool => toreal" |
58 |
58 |
59 relations :: "bool list => una" |
59 relations :: "bool list => una" |
60 SideConditions :: "bool list => una" |
60 SideConditions :: "bool list => una" |
61 solutions :: "bool list => toreall" |
61 solutions :: "bool list => toreall" |
62 (*solution :: bool => toreal WN0509 bool list=> toreall --->EqSystem*) |
62 (*Gleichungen :: "bool list => toreall" MUST be here to beknown by fun is_NObrack_list <--Biegelinie*) |
|
63 (*solution :: "bool => toreal" WN0509 bool list => toreall <--EqSystem*) |
63 solveFor :: "real => una" |
64 solveFor :: "real => una" |
64 differentiateFor:: "real => una" |
65 differentiateFor:: "real => una" |
65 unknown :: "'a => unknow" |
66 unknown :: "'a => unknow" |
66 valuesFor :: "real list => toreall" |
67 valuesFor :: "real list => toreall" |
67 AdditionalValues :: "real list => toreall" |
68 AdditionalValues :: "real list => toreall" |