|
FUNCTION es_subspace_of_es (es1 : elementary_space_enumerators, es2 : elementary_space_enumerators) : BOOLEAN; IF NOT EXISTS ( es1 ) OR NOT EXISTS ( es2 ) THEN RETURN ( FALSE ) ; END_IF ; IF es1 = es2 THEN RETURN ( TRUE ) ; END_IF ; IF es2 = es_generics THEN RETURN ( TRUE ) ; END_IF ; IF ( es1 = es_booleans ) AND ( es2 = es_logicals ) THEN RETURN ( TRUE ) ; END_IF ; IF ( es2 = es_numbers ) AND ( ( es1 = es_complex_numbers ) OR ( es1 = es_reals ) OR ( es1 = es_integers ) ) THEN RETURN ( TRUE ) ; END_IF ; RETURN ( FALSE ) ; END_FUNCTION; -- es_subspace_of_es |
|
public class FEs_subspace_of_es public static Value run(SdaiContext _context, Value es1, Value es2) |