Skip to content

Instantly share code, notes, and snippets.

@laMudri

laMudri/norm

Created May 18, 2019 08:59
Show Gist options
  • Save laMudri/6812330f1b381a6b4452e5eba6b01992 to your computer and use it in GitHub Desktop.
Save laMudri/6812330f1b381a6b4452e5eba6b01992 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
norm
----------------- -----------------
1 v : R² ⊢ v : R² 1 v : R² ⊢ v : R²
------------------ ------------------
1 v : R² ⊢ v.x : R 1 v : R² ⊢ v.y : R
------------------- -------------------
2 v : R² ⊢ v.x² : R 2 v : R² ⊢ v.y² : R
-----------------------------------------
2 v : R² ⊢ v.x² + v.y² : R
-----------------------------
1 v : R² ⊢ √(v.x² + v.y²) : R
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment