72 Commits

Author	SHA1	Message	Date
Zeno Rogue	5f3c638653	fixed radar_transform in product spaces and Z clearing	2023-02-02 19:27:22 +01:00
Zeno Rogue	e4c775b986	embeddings:: fixed map over itself in spherical product embedding	2023-02-02 19:26:51 +01:00
Zeno Rogue	dc1aa2c4c0	embeddings:: made itls and itl matrices correct in 4x4	2023-02-02 19:06:34 +01:00
Zeno Rogue	bccb7b1d5d	embeddings:: fixed Clifford torus	2023-02-02 19:06:06 +01:00
Zeno Rogue	a84596a355	better isometry in Nil cylinder	2023-01-30 17:16:35 +01:00
Zeno Rogue	9ce2a90c33	embedding: Nil cylinder, also fixed the product cylinder	2023-01-30 15:36:44 +01:00
Zeno Rogue	ba03d33959	embedding:: a simple general implementation of radar	2023-01-29 16:09:00 +01:00
Zeno Rogue	1e6e75c7d4	embeddings:: clarified the meaning of various coordinate systems, both in a comment and in idea	2023-01-29 14:13:30 +01:00
Zeno Rogue	ce72e55353	fixup to -seo CLI option	2023-01-29 14:11:56 +01:00
Zeno Rogue	8e577bc2de	embeddings:: fixup apply_always3 for CliffordTorus	2023-01-29 14:10:59 +01:00
Zeno Rogue	43b3a13dc4	embeddings:: fixed the ordering	2023-01-29 14:10:41 +01:00
Zeno Rogue	fd55d4de89	CLI option -seo	2023-01-28 04:08:32 +01:00
Zeno Rogue	3af71864c7	embeddings:: seCylinderSL2	2023-01-28 03:56:08 +01:00
Zeno Rogue	c155491ca2	fixup to last	2023-01-28 03:47:33 +01:00
Zeno Rogue	0873fe2088	cleaner apply_always3	2023-01-28 03:47:02 +01:00
Zeno Rogue	a45ae2cd21	embeddings:: cylinder_horo	2023-01-27 16:46:54 +01:00
Zeno Rogue	d7fe4af1e9	embeddings:: implemented the cylinderHE embedding	2023-01-27 11:16:34 +01:00
Zeno Rogue	9e2059e72b	embeddings:: moved functions outside class	2023-01-27 11:15:42 +01:00
Zeno Rogue	a73f85c88a	fixup to simplified and fixed	2023-01-27 10:18:39 +01:00
Zeno Rogue	56f5fee8dd	embeddings:: simplified and fixed euc_in_sl2	2023-01-27 10:17:54 +01:00
Zeno Rogue	e4239a11a4	embeddings:: emb_euc_cylinder simplified and generalized to hyperbolic	2023-01-27 10:07:40 +01:00
Zeno Rogue	85dffdbeff	rewritten the embeddings more nicely	2023-01-27 00:27:10 +01:00