Overview Schemas Index

MATHEMATICAL_FUNCTIONS_SCHEMA (jsdai.SMathematical_functions_schema)

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)