From dev-return-113847-apmail-commons-dev-archive=commons.apache.org@commons.apache.org Sat Apr 25 02:21:26 2009 Return-Path: Delivered-To: apmail-commons-dev-archive@www.apache.org Received: (qmail 94695 invoked from network); 25 Apr 2009 02:21:26 -0000 Received: from hermes.apache.org (HELO mail.apache.org) (140.211.11.3) by minotaur.apache.org with SMTP; 25 Apr 2009 02:21:26 -0000 Received: (qmail 61363 invoked by uid 500); 25 Apr 2009 02:21:25 -0000 Delivered-To: apmail-commons-dev-archive@commons.apache.org Received: (qmail 61230 invoked by uid 500); 25 Apr 2009 02:21:25 -0000 Mailing-List: contact dev-help@commons.apache.org; run by ezmlm Precedence: bulk List-Help: List-Unsubscribe: List-Post: List-Id: Reply-To: "Commons Developers List" Delivered-To: mailing list dev@commons.apache.org Received: (qmail 61220 invoked by uid 99); 25 Apr 2009 02:21:24 -0000 Received: from nike.apache.org (HELO nike.apache.org) (192.87.106.230) by apache.org (qpsmtpd/0.29) with ESMTP; Sat, 25 Apr 2009 02:21:24 +0000 X-ASF-Spam-Status: No, hits=-0.0 required=10.0 tests=FM_FAKE_HELO_VERIZON,SPF_PASS X-Spam-Check-By: apache.org Received-SPF: pass (nike.apache.org: domain of billwbarker@verizon.net designates 206.46.173.3 as permitted sender) Received: from [206.46.173.3] (HELO vms173003pub.verizon.net) (206.46.173.3) by apache.org (qpsmtpd/0.29) with ESMTP; Sat, 25 Apr 2009 02:21:15 +0000 MIME-version: 1.0 Content-transfer-encoding: 8BIT Content-type: text/plain; format=flowed; charset=utf-8; reply-type=response Received: from oemcomputer ([71.104.91.252]) by vms173003.mailsrvcs.net (Sun Java(tm) System Messaging Server 6.3-7.04 (built Sep 26 2008; 32bit)) with ESMTPA id <0KIM00BE2X66E865@vms173003.mailsrvcs.net> for dev@commons.apache.org; Fri, 24 Apr 2009 21:20:31 -0500 (CDT) Message-id: <004101c9c54c$98469a40$5d5c6847@oemcomputer> From: "Bill Barker" To: "Commons Developers List" References: <1918348253.3553661240564752898.JavaMail.root@spooler6-g27.priv.proxad.net> <49F2612D.7070900@gmail.com> Subject: Re: [math] Questions on Field Date: Fri, 24 Apr 2009 19:21:50 -0700 X-Priority: 3 X-MSMail-priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2900.3138 X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2900.3350 X-Virus-Checked: Checked by ClamAV on apache.org ----- Original Message ----- From: "Phil Steitz" To: "Commons Developers List" Sent: Friday, April 24, 2009 6:02 PM Subject: Re: [math] Questions on Field > luc.maisonobe@free.fr wrote: >> ----- "Bill Barker" a écrit : >> >> >>> I've been looking over the Field implementations, and it looks like >>> it's mostly done except for FieldPolynomial. I'm not really sure >>> which >>> >> >> SparseFieldMatrix and SparseFieldVector are also missing for now. >> >> >>> package this should go in, since o.a.c.m.analysis.polynomial seems to >>> be about Real polynomials. Any hints would be appreciated. >>> >> >> I'm not sure either. >> I wonder if an algebra package would make sense or not. If so, it could >> contain the Field top interfaces as well as field polynomials, Z/pZ, >> rational functions and BigReal. If such an algebra were created I think >> polynomials should be moved there. >> Polynomials (and rational functions) are at the boundary between algebra >> and analysis, at least when using double coefficients only. When using >> Field coefficients, they are more algebra-tainted to me. >> What do other people think about this ? >> > I agree that we could go in this direction and certainly polynomials over > arbitrary fields are algebraic objects, so an algebra package would make > sense if we do this. Building all of this out, however, is sort of a > slippery slope that leads away from an applications-driven applied math > library into a more abstract framework. I have always maintained that we > should introduce mathematical abstractions as we need them, with "need" > driven by applied math problems that we and our users have to solve. So > here I would ask, what applied problems are we trying to solve and what > additional algebraic structure do we need to solve them? I am not pushing > back here, just wanting to understand what applications people have in > mind. I, personally, have no use for it. The main use case I could see is for somebody that wants to use c-m to implement elliptic curve crypto (or higher dimension variants). And this would only be for Z/pZ or finite extentions of it. So I'm happy with waiting until there is a Jira issue requesting this. >>> I could provide implementations for SimplePrimeFieldElement >>> (representing Z/pZ), and even SimplePadicFieldElement (with a >>> representation similar >>> to double). Not certain that it is useful for 2.0 without greatly >>> delaying the release. Most algebraist want to use finite extensions as >>> well. >> >> I would really like to see 2.0 be published as soon as possible, but even >> my own tasks keep being delayed (ODE for stiff equations, MATH-172). I >> would like to target a release near end of May. >> > +1 - I would really like to get 2.0 out. I should have my stuff wrapped > up in the next couple of weeks. > > Phil >> Luc >> >> >>> >>> >>> --------------------------------------------------------------------- >>> To unsubscribe, e-mail: dev-unsubscribe@commons.apache.org >>> For additional commands, e-mail: dev-help@commons.apache.org >>> >> >> --------------------------------------------------------------------- >> To unsubscribe, e-mail: dev-unsubscribe@commons.apache.org >> For additional commands, e-mail: dev-help@commons.apache.org >> >> > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: dev-unsubscribe@commons.apache.org > For additional commands, e-mail: dev-help@commons.apache.org > > --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscribe@commons.apache.org For additional commands, e-mail: dev-help@commons.apache.org