Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://a-guide-to-the-purescript-numeric-hierarchy.readthedocs.io/en/latest/index.html below:

A guide to the PureScript numeric hierarchy — A guide to the PureScript numeric hierarchy latest documentation

latest

• Introduction
• Logic
• Monoids
• Groups
• Rings
• Matrices
• Integral domains
• Fields
• Complex numbers
• The Euclidean Algorithm
• Polynomials
• Euclidean rings
• Quaternions
• Epilogue
• Appendix

• Docs »
• A guide to the PureScript numeric hierarchy
• Edit on GitHub

• Introduction
  • Why?
  • Prerequisites
  • How to read this guide
  • License
• Logic
  • Truth tables
  • Logical equivalence
  • Logical negation
  • Logical implication
  • Converses
  • Contrapositives
  • Sets
  • Quantifiers
• Monoids
  • Uniqueness of identity elements
  • Some more examples
• Groups
  • Uniqueness of inverses
  • Modular arithmetic
  • Permutations
  • Cancellation
  • Abelian groups
  • A final note on groups
• Rings
  • The definition
  • Properties of rings
  • Semirings
• Matrices
  • Vectors
  • Linear mappings
  • Representation of linear mappings as matrices
  • Properties of matrix operations
• Integral domains
  • The cancellation law for integral domains
• Fields
  • A quick diversion into set theory
  • Every field is an integral domain
  • Every finite integral domain is a field
• Complex numbers
• The Euclidean Algorithm
  • Integer division
  • Greatest common divisors
  • The Euclidean Algorithm
• Polynomials
  • Polynomial division
• Euclidean rings
  • Divisors, again
  • Generalising the Euclidean Algorithm
  • Summary
• Quaternions
  • Multiplicative inverses
  • Dividing quaternions
  • Using quaternions for rotations
  • Further references
• Epilogue
• Appendix
  • Cheatsheet
  • PureScript implementations of objects discussed in this guide
  • Solutions to Exercises

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4