Orthogonal group from a form
Posted: Wed Mar 18, 2015 4:59 pm
Hi,
I am new to Magma and the handbook has been helpful to this point but no amount of searching online or in the handbook is answering this question, so I hope you will forgive my asking it.
I would like to create an orthogonal group defined by a particular form on a vector space. I would like to hand Magma a Gram matrix and have it return the corresponding orthogonal group. I cannot figure out how to do this. (I can create a generic orthogonal group, corresponding to the identity matrix, using the built-in functions for classical groups.)
Thank you in advance for any advice.
Kate.
PS - It took no less than a half-dozen attempts to get the Captcha to register. I promise, I'm human!
I am new to Magma and the handbook has been helpful to this point but no amount of searching online or in the handbook is answering this question, so I hope you will forgive my asking it.
I would like to create an orthogonal group defined by a particular form on a vector space. I would like to hand Magma a Gram matrix and have it return the corresponding orthogonal group. I cannot figure out how to do this. (I can create a generic orthogonal group, corresponding to the identity matrix, using the built-in functions for classical groups.)
Thank you in advance for any advice.
Kate.
PS - It took no less than a half-dozen attempts to get the Captcha to register. I promise, I'm human!