Skip to content
Failed

Changes

Summary

  1. base developments in Polynomials and Groebnes_Bases on type poly_mapping: additive type classes for powerprod classes
  2. tactic for Poincare map with derivative and example; tuned gnuplot output: (filled) polygons instead of edges
Changeset 8498:59deb35aa798 by immler:
base developments in Polynomials and Groebnes_Bases on type poly_mapping: additive type classes for powerprod classes
The file was modified thys/Groebner_Bases/Computations.thy (diff)
The file was modified thys/Groebner_Bases/Groebner_Bases.thy (diff)
The file was modified thys/Polynomials/Abstract_Poly.thy (diff)
The file was modified thys/Polynomials/Poly_Lists.thy (diff)
The file was modified thys/Polynomials/Power_Products.thy (diff)
The file was modified thys/Polynomials/ROOT (diff)
Changeset 8497:664bf8d3c844 by immler:
tactic for Poincare map with derivative and example; tuned gnuplot output: (filled) polygons instead of edges
The file was modified thys/Affine_Arithmetic/Print.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/Ex/Examples_Integral.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/Ex/Examples_Poincare_Map.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/Ex/Lorenz/Lorenz_Approximation.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/Ex/plot_file.plg (diff)
The file was modified thys/Ordinary_Differential_Equations/Numerics/Example_Utilities.thy (diff)