|
FUNCTION number_superspace_of (spc : maths_space) : elementary_space; IF subspace_of_es ( spc , es_integers ) THEN RETURN ( the_integers ) ; END_IF ; IF subspace_of_es ( spc , es_reals ) THEN RETURN ( the_reals ) ; END_IF ; IF subspace_of_es ( spc , es_complex_numbers ) THEN RETURN ( the_complex_numbers ) ; END_IF ; IF subspace_of_es ( spc , es_numbers ) THEN RETURN ( the_numbers ) ; END_IF ; RETURN ( ? ) ; END_FUNCTION; -- number_superspace_of |
|
public class FNumber_superspace_of public static Value run(SdaiContext _context, Value spc) |