Code

Add the ssrZ library#26

Code

Merged

pi8027 merged 4 commits intomastermath-comp/mczify:masterfrom ssrZmath-comp/mczify:ssrZCopy head branch name to clipboardSep 30, 2021

+418-87

Commits

Commits on Sep 29, 2021

• Add the ssrZ library

  Show description for 7b0edab
  pi8027

  committed
  7b0edab

  Copy full SHA for 7b0edab

• Z_of_int and int_of_Z are ring morphisms

  pi8027

  committed
  3396bdc

  Copy full SHA for 3396bdc

Commits on Sep 30, 2021

• Minor cleanup

  pi8027

  committed
  2d34652

  Copy full SHA for 2d34652

• Update doc

  pi8027

  committed
  4f2544c

  Copy full SHA for 4f2544c