Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 4, 2023

• Define T3

  ice1000

  committed
  1e471c4

Commits on Sep 3, 2023

• Prove Nakayama lemma

  valis

  committed
  01f3933

Commits on Sep 1, 2023

• Define pp-rings and prove that every Bezout pp-ring is strict Bezout

  valis

  committed
  b9fdecb

Commits on Aug 31, 2023

• Prove a characterization of von Neumann regular rings

  valis

  committed
  5d6fb6a

• Define TFAE.proof

  valis

  committed
  b08de1b

Commits on Aug 28, 2023

• Improve tfae

  valis

  committed
  58c4f5d

• Prove a characterization for zero-dimensional local rings

  valis

  committed
  dee81fa

Commits on Aug 25, 2023

• Define valuation rings

  valis

  committed
  eda6c25

Commits on Aug 22, 2023

• Prove that strict domains are impotent

  valis

  committed
  7e36d05

• Prove that PID are Noetherian

  valis

  committed
  a47d5b5

Commits on Aug 19, 2023

• Define reduced and impotent rings and show that domains are impotent

  valis

  committed
  0308075

• Fix the definition of PID

  valis

  committed
  d939e84

Commits on Aug 18, 2023

• Prove that decidable GCD-domains are integrally closed

  valis

  committed
  1ec9d24

Commits on Aug 17, 2023

• Fix typechecking

  valis

  committed
  cc696db

Commits on Aug 16, 2023

• Prove that the integral closure is a subring

  valis

  committed
  12e3855

Commits on Aug 15, 2023

• Prove that integral extensions are closed under composition

  valis

  committed
  572ee1a

• Prove that finitely generated integral extensions are finitely generated as modules, improve error messages in equation meta, improve ext meta for arrays, prove that MPoly is isomorphic to Poly, an…

  valis

  committed
  93dc7b0

Commits on Aug 9, 2023

• Define free abelian monoids and multivariate polynomials

  valis

  committed
  57ab48f

• Remove MPoly

  valis

  committed
  13f3e92

• Define the evaluation homomorphism for monoid rings

  valis

  committed
  dedc95c

• Revert "An attempt to implement monoid rings using FinSuppFunc"

  valis

  committed
  1fb8f3c

• An attempt to implement monoid rings using FinSuppFunc

  valis

  committed
  3d89096

• Implement monoid rings

  valis

  committed
  51b7eaa

Commits on Aug 5, 2023

• Define QPoly in terms of arrays instead of lists

  valis

  committed
  cf79b7d

• Prove a characterization lemma for integral elements

  valis

  committed
  af954fe

• Prove that eigenvalues are root of the characteristic polynomial

  valis

  committed
  09f76b9

Commits on Aug 4, 2023

• Define characteristic polynomial of a matrix

  valis

  committed
  04391e6

• Prove a characterization lemma for covers in ProjSpec

  valis

  committed
  08b515b

Commits on Aug 3, 2023

• Prove a characterization lemma for homogeneous ideals

  valis

  committed
  dbf01a6

Commits on Aug 1, 2023

• Prove that a matrix is invertible if and only if its determinant is

  valis

  committed
  734b659

Commits on Jul 30, 2023

• Prove that transposition preserves determinant

  valis

  committed
  981a7a4

Commits on Jul 28, 2023

• Prove that the sign of a permutation is a homomorphism

  valis

  committed
  1655cb1

Commits on Jul 26, 2023

• Prove that every permutation is a product of independent cycles

  valis

  committed
  145baa4

Commits on Jul 18, 2023

• Prove that determinantF is equal to determinant

  valis

  committed
  254ba8e

Commits on Jul 16, 2023

• Fix a problem with levels in classCalls

  valis

  committed
  24330ca

Pagination

PreviousNext