On Sat, Dec 6, 2008 at 6:27 AM, Rafael <[EMAIL PROTECTED]> wrote:
> Hello William,
>
> That seems to work great, except for the problem of computing the
> hermitian conjugate of the unitary matrix u,
> since
>
> sage: K.<j,b> = QQ[sqrt(-1), sqrt(2)]
> sage: j.conjugate()
> 0
>
> Can one define a conjugation such that the conjugate of j is -j ?
>
> Many thanks!
Hey, that conjugate thing you point out above is a genuine bug
in Sage. Thanks for pointing it out! This is now trac #4725:
http://trac.sagemath.org/sage_trac/ticket/4725
The following _should_ create the correct homomorphism (complex conjugation):
sage: K.<j,b> = QQ[sqrt(-1), sqrt(2)]
sage: conj = K.hom([-j, b])
boom!
However it doesn't. This is now trac #4726:
http://trac.sagemath.org/sage_trac/ticket/4726
I tried also just defining the conjugation function in a "brutal way", and
that didn't work correctly either (bug #4727):
http://trac.sagemath.org/sage_trac/ticket/4727
Well, I'm off to go fix some bugs in relative number fields!
-- William
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
