#10848: Checks for Hermitian matrices
------------------------------+---------------------------------------------
Reporter: rbeezer | Owner: jason, was
Type: enhancement | Status: needs_work
Priority: minor | Milestone:
Component: linear algebra | Keywords:
Author: Rob Beezer | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
------------------------------+---------------------------------------------
Comment(by jason):
Replying to [comment:9 rbeezer]:
> Replying to [comment:8 flawrence]:
> > Would it be possible to copy the `matrix_double_dense.pyx`
`is_hermitian` into `matrix_dense.pyx` (adjusting the default tolerance
and doctests, of course) and thus remove the quirk that makes this warning
necessary?
>
> Hi Felix,
>
> This sounds like a good idea.
>
> * I'd imagine the code in matrix2 branching for exact vs. inexact
rings. Any tolerance would be ignored for exact rings.
If the parameter is there, don't ignore it. That would be really
confusing.
>
> * Are RDF/CDF/RR/CC the only inexact rings in Sage? They need to be
amenable to an absolute value in order to do the comparison. As organized
in the patch, we at least know just which ring we are dealing with.
{{{
sage: SR.is_exact()
False
}}}
In fact, there are an infinite number of inexact rings:
{{{
sage: RealField(100).is_exact()
False
sage: S.<s> = LaurentSeriesRing(GF(5))
sage: T.<t> = PowerSeriesRing(pAdicRing(5))
sage: T.is_exact()
False
}}}
There probably many, many more.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10848#comment:10>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
