#10848: Checks for Hermitian matrices
------------------------------+---------------------------------------------
Reporter: rbeezer | Owner: jason, was
Type: enhancement | Status: needs_review
Priority: minor | Milestone:
Component: linear algebra | Keywords:
Author: Rob Beezer | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
------------------------------+---------------------------------------------
Changes (by rbeezer):
* status: needs_work => needs_review
Comment:
Replying to [comment:10 jason]:
> If the parameter is there, don't ignore it. That would be really
confusing.
I wouldn't ''totally'' ignore it, but I'd not honor it either, I think.
Throw an error, since it would exhibit a basic
misunderstanding/misapplication.
> {{{
> sage: SR.is_exact()
> False
> }}}
That's the one that would bite me. I knew there was one oddball one.
> 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
> }}}
Thanks, that's what I needed to know. (I use RR/CC as stand-ins for all
the `RealField()`'s.)
So this will be a problem:
{{{
sage: T.<t> = PowerSeriesRing(pAdicRing(5))
sage: a=T.an_element()
sage: a
(1 + O(5^20))*t
sage: abs(a)
---------------------------------------------------------------------------
TypeError Traceback (most recent call
last)
/sage/dev/devel/sage-main/<ipython console> in <module>()
TypeError: bad operand type for abs():
'sage.rings.power_series_poly.PowerSeries_poly'
}}}
Which is making me think it would be better to make the annoying message
go away by "somebody" implementing matrices over
RR/CC/RealField()/ComplexField() properly.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10848#comment:11>
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.
