Skip to content
Snippets Groups Projects
Commit 1f4a53ef authored by François Clément's avatar François Clément
Browse files

Put structural parameters as first arguments. 

Make K argument of plusn1 implicit.
Mv stuff around.
Rename invertible_plusn -> invertible_plusn_not_ring_charac.
Add invertible_plusn1_R, scal_ones, isobaryc_ms_eq.
parent a43b7805
No related branches found
Tags LInt_p.1.0
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 317 additions and 313 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment