I have notice when I tab complete magma objects, that magma operators such as 'meet' pop up. Is there a way to use these from within Sage, other than inside a string passed to magma.eval?
1 | initial version | asked 2023-12-16 16:34:36 +0100 Anonymous |
I have notice when I tab complete magma objects, that magma operators such as 'meet' pop up. Is there a way to use these from within Sage, other than inside a string passed to magma.eval?
2 | retagged |
I have notice when I tab complete magma objects, that magma operators such as 'meet' pop up. Is there a way to use these from within Sage, other than inside a string passed to magma.eval?