Subversion Repositories TPPL

Compare Revisions

Ignore whitespace Rev 86 → Rev 87

/fig/rep_poly-space-cut.png
Cannot display: file marked as a binary type.
svn:mime-type = application/octet-stream
/fig/rep_poly-space-cut.png
New file
Property changes:
Added: svn:mime-type
## -0,0 +1 ##
+application/octet-stream
\ No newline at end of property
Index: fig/rep_poly-space.png
===================================================================
Cannot display: file marked as a binary type.
svn:mime-type = application/octet-stream
Index: fig/rep_poly-space.png
===================================================================
--- fig/rep_poly-space.png (revision 0)
+++ fig/rep_poly-space.png (revision 87)
/fig/rep_poly-space.png
Property changes:
Added: svn:mime-type
## -0,0 +1 ##
+application/octet-stream
\ No newline at end of property
Index: material/AD_Polynomial.thy
===================================================================
--- material/AD_Polynomial.thy (revision 86)
+++ material/AD_Polynomial.thy (revision 87)
@@ -107,7 +107,7 @@
lemma coeffs_sdiv [code abstract]:
fixes p :: "'a::ring_div poly"
- shows "coeffs (sdiv a p) = (map (div_swapped a) (coeffs p))"
+ shows "coeffs (sdiv a p) = (map ((\<lambda>a b. b div a) a) (coeffs p))"
sorry
(*https://lists.cam.ac.uk/mailman/htdig/cl-isabelle-users/2013-November/msg00121.html*)