Create a gist now

Instantly share code, notes, and snippets.

What would you like to do?
injective file out
Generating All The Injective Functions
f : A -> B
A = {1 2 }
B = {1 2 3 }
x | 1 2
----------------
f(x) | 1 2
x | 1 2
----------------
f(x) | 1 3
x | 1 2
----------------
f(x) | 2 1
x | 1 2
----------------
f(x) | 2 3
x | 1 2
----------------
f(x) | 3 1
x | 1 2
----------------
f(x) | 3 2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment