Categories

## Testing types of Prolog terms: slight problems

Here is some code to test the type/metatype of SWI-Prolog terms: % var,nonvar are meta-question about the state of computation, not about the term % Note: X can be a variable (if it is fresh) or a nonvar (if it is set) % but x can ever only be a nonvar typeof(X, var) :- var(X),!. […]

Categories

## The interval [a,b] $\subset$ $\mathbb{R}$ and interval [0,1] $\subset$ $\mathbb{R}$ are homeomorphic in their standard topologies. [closed]

Problem: The interval $[a,b]$ $\subset$ $\mathbb{R}$ and interval $[0,1]$ $\subset$ $\mathbb{R}$ are homeomorphic in their standard topologies. Definition of Homeomorphism: We call the underlying bijection of a topological equivalence $h : X \to Y$ a homeomorphism. We say X and Y are homeomorphic. This is how I showed it. Let us define a function $f:[a,b]$$\to$$[0,1]$ […]