Re: [gentoo-science] Scientific Gentoo reorg

[C Y <smustudent1@yahoo.com>]

--- George Shapovalov <george@gentoo.org> wrote:

> 
> So, right now I would like to ask for the feedback on the following:

[snip - too far out of the loop right now to have a useful opinion :-(]

> Q3) Not relevant to this restructuring, but always usefull: if you
> know of some package that you think should really go under sci-
> something, please let us know!

Unfortunately I am not really in a good position to comment - my gentoo
box (my only home computer) has been of the net for many months and I
am so far behind on current trends it is scary.  In the past I have
been involved with the Maxima, Axiom, and BRL-CAD ebuilds.  The latter
should be in a sci-cad categorization if one doesn't exist yet (I know,
I know - not much CAD on Linux.  Still, I'd call it a very logical
category.  I think there are a couple more out there somewhere besides
QCAD and BRL-CAD, and I think I may have even listed them somewhere... 
SALOME comes echoing back out of the mists to me as something that
might be interesting.)  As for Axiom and Maxima (along with the
wxmaxima GUI) they belong in sci-symbolic or maybe sci-symbolicmath (I
wish it could be sci-math-symbolic, which is also the google newsgroup
name, but I'm sure that violates some naming rule).

A general question I would like to put to the sci list - there exist a
significant number of programs which might be catagorized as proof
software (there are several subtypes) and are freely available.  I have
wanted to see these in Gentoo for quite a while (nor am I alone - I see
a bug requesting the HOL theorem proof assistant from 2004) but I don't
know if there even exists a category for this type of program.  Would
it be sci?  Perhaps sci-computer?  I think there have not been a flood
of ebuilds for these programs because as a rule they tend to be
difficult to build (for some reason they don't usually follow the
normal configure-make-make_install procedure we all know and love) but
they are exceedingly powerful and I think their inclusion in Gentoo
would be a Good Thing.

A particular focus of interest is Isabelle:
http://www.cl.cam.ac.uk/Research/HVG/Isabelle/

I attempted to build this once but met with complete failure - perhaps
after I get back on the net I can try to figure it out again.

Cheers,
CY

__________________________________________________
Do You Yahoo!?
Tired of spam?  Yahoo! Mail has the best spam protection around 
http://mail.yahoo.com 
-- 
gentoo-science@gentoo.org mailing list