Home
Learning
Projects
Articles
Resources

Texas A&M Research Group


Goal
: To work on Schubert calculus problems with the aid of large-scale computation, organized in a useful manner.

Advisor: Frank Sottile

Postdocs: Luis Garcia (recently left), Chris Hillar, Zach Teitler

Graduate Students: Corey Irving, Jim Ruffo (recently left), Abraham Martin del Campo, Nick Hein

Team Calendar (created by Abraham)

General Meeting time: Friday 10-12, Milner 317

Downloads:

Small Database with new project (update Mar 23, 2008)

Database with G(6,3) problems for new project (update Mar 31, 2008)

Large Database with old project (update October 15, 2007)


Basic dynamic first page of old site
Preliminary dynamic second page of old site

(You must rename all the above PHP files by adding ".php")


OVERLAP NUMBER (from Frank's site)


(2) Single Computer Program Manager

Download the following ZIP file: secantprojectmar26.zip

Unzip the file into the directory that you would like to start computations in.

You should find a file singcomputermar26.pl. You will need to change the database code at the beginning and also the link to singular: it is /sw/bin/Singular, and you will need to change it to just Singular.

Next, load the database file

AllG36ExpProject_dump01.04.2008.sql

into your mySQL database (into a blank new dbase called ExpProject dbase).

You will also find a directory ExpProject. This is a perl module with special functions that the main perl file will use. To activate it, you need to go into the directory and type

perl Makefile.PL
make
make install

You might need to use sudo if the permissions are not correct.

To run the code, simply type:

singcomputermar26.pl -n1

The -n1 signifies that you would like to run 1 pass through the algorithm. If you type -n0 then this will run through the entire database.

IMPORTANT: To reset ("flush") the database to its initial state before making another computation, you should try and run the file as:

singcomputermar26.pl -n1 -f

If you would like to see the temporary files (e.g. the program will not delete them when it is done), use the -dd option.

If you would like to send the visual MAPLE and SINGULAR output to
/dev/null then use the option -dn as in

singcomputermar26.pl -n1 -dn

Finally, if you would like to see the results of all the computations, you should use the PHP files located in the putinlocahostwebdir directory. As the folder name says, to access them, you need to put these php files (all three of them) into your localhost web directory. Then you simply go to your localhost through a browser and try to access problemview.php.


---------------
WHAT TO DO NEXT
----------------
Well, this is where everyone else is going to need to get involved. I
cannot keep maintaining such a large project alone. People are going to need to step up to the plate here and learn what is going on.
1. Getting a full featured PHP display for the data (instead of the crude
one I have going).
2. Filling the database with all of the PROBLEMS that we would like to
compute
3. Tweaking the design of the computation
4. Eventually working on being able to use necklace information (for
non-grassmanian problems).
5. Getting this all to work on the CalcLab computers
6. Writing up a document that describes all aspects of this code



(Note: to get Perl to work with the MySQL database, you might need to install the DBI-1.54 module for Perl. )


(3) SINGULAR code to compute Schubert problems

4l.tgz

(4) Some PERL assignments for people

permwalking | nextperm.perl (lex walking through perms)
new crossing number algorithm in Perl


Working:

(1) Real Root Speed testing. Some comparisons with largeish polynomials (on my MAC laptop).

57-2637.sing | 3m20.295s
57.2637.maple | 5s
57-2638.sing | 3m22.769s
57.2638.maple | 8s

As we can see, Maple kicks SINGULAR's behind on this.

(2) Testing of the secant conjecture using both maple and singular

(maple script) secant.maple
(shell script to use with above) secantshell

(3) Luis's code to compute the eliminant using linear algebra | charpolycode.sing







 

Chris Hillar

Home | Learning | Projects | Articles | Resources