5 Commits

Author	SHA1	Message	Date
Alessandro Lupo	cff1f8d3b8	rm unused variables and formatting	2023-06-23 16:04:18 +01:00
Alessandro Lupo	de30c4e22a	minor improvements	2023-06-23 10:49:41 +01:00
Alessandro Lupo	c797cbe737	deal with post-merge trauma	2023-06-16 14:20:37 +01:00
Alessandro Lupo	5aabe074fe	Rename Sympl* to Sp*	2023-04-18 11:50:20 +01:00
Alessandro Lupo	4044536eea	add projection on sp2n algebra	2021-10-26 10:20:44 +01:00