Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merge
  2. Added several lemmas
  3. merge
  4. Deactivated simproc for polynomials, because slows down computations
Changeset 8897:0be1972254a3 by alexander maletzky _alexander.maletzky@risc.jku.at_:
merge
Changeset 8896:8ee2c7ad7511 by alexander maletzky _alexander.maletzky@risc.jku.at_:
Added several lemmas
The file was addedthys/Polynomials/Utils.thy
The file was modified thys/Groebner_Bases/Groebner_Bases.thy (diff)
The file was modified thys/Groebner_Bases/Reduction.thy (diff)
The file was modified thys/Polynomials/MPoly_Type_Class.thy (diff)
The file was modified thys/Polynomials/Poly_Mapping_Finite_Map.thy (diff)
The file was modified thys/Polynomials/Power_Products.thy (diff)
Changeset 8895:dc75a964ebf9 by alexander maletzky _alexander.maletzky@risc.jku.at_:
merge
Changeset 8894:09b256e6cb49 by alexander maletzky _alexander.maletzky@risc.jku.at_:
Deactivated simproc for polynomials, because slows down computations
The file was modified thys/Polynomials/MPoly_Type_Class_FMap.thy (diff)