Summary
- base developments in Polynomials and Groebnes_Bases on type poly_mapping: additive type classes for powerprod classes
- tactic for Poincare map with derivative and example; tuned gnuplot output: (filled) polygons instead of edges
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) |
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) |