Differences between revisions 1 and 20 (spanning 19 versions)
 ⇤ ← Revision 1 as of 2007-09-27 14:54:37 → Size: 419 Editor: was Comment: ← Revision 20 as of 2008-11-14 13:41:55 → ⇥ Size: 4675 Editor: localhost Comment: converted to 1.6 markup Deletions are marked like this. Additions are marked like this. Line 2: Line 2: The seminar meets at 5pm in Communications B027. Line 3: Line 4: The seminar meets at 5pm. {{{DATE: Monday, December 3, at 5pmTITLE: Status reports}}} Line 5: Line 9: '''Monday, October 8, 2007''': {{{DATE: Monday, November 26, at 5pm Line 7: Line 12: '''Monday, October 15, 2007''': Seminar: The Sage Seminar Line 9: Line 14: '''Monday, October 22, 2007''': Organizer: William Stein Line 11: Line 16: '''Monday, October 29, 2007''': Title: Combinatorial Generation Line 13: Line 18: '''Monday, November 5, 2007''': Speaker: Robert Miller, UW Line 15: Line 20: '''Monday, November 12, 2007''': (no seminar -- Sage Days 6) Location: 5pm in Communications B027 Line 17: Line 22: '''Monday, November 19, 2007''': Abstract: Suppose you want to classify some collection of objects.Optimally, as is often the case if your objects are algebraic, thereis some theorem that does all the work. For example, finitelygenerated abelian groups are determined by a sequence of integers,i.e. the rank and the elementary divisors. On the other end of thespectrum is when your objects are not so well behaved, and there is a"combinatorial explosion" of possibilities- you cannot hope for atheorem, and instead you wish to simply generate those objects one byone, such that each isomorphism class has exactly one representativegenerated. The naive approach would be to go through each possibility,adding one to the list only after it has been determined to be notisomorphic to those already in the list. There is an alternativeapproach, involving no isomorphism elimination at all. This approach willbe explained, and some new coding theory software will be presented. Line 19: Line 37: '''Monday, November 26, 2007''': }}}[[http://rlmiller.org/talks/generation.pdf|Slides]] Line 21: Line 40: '''Monday, December 3, 2007''': ======================================================================={{{TITLE: Groebner BasicsLOCATION: Thomson Hall 215 at ** 4PM ** on November 5, 2007SPEAKER: Josh KantorABSTRACT:Groebner bases are a fundamental tool which allow for efficientalgorithmic computation in polynomial rings and modules over such rings.We we will start with the simple question of ideal membership, i.e.,given an ideal $I \subset k[x_1,\ldots x_n]$, and $f \in k[x_1,\ldots,x_n]$, how does one check whether or not $f\in I$. We will show howGroebner basis solve this problem, and others.}}}[[http://sage.math.washington.edu/home/jkantor/grobner_slides.pdf|slides]]=======================================================================Monday, October 29, 2007:{{{TITLE: Combinatorial Algebras in SAGETIME: 5-6pm on Monday, October 29, 2007LOCATION: B027 in the Communications buildingSPEAKER: Mike HansenAbstract: A "combinatorial algebra" is an algebra over a ring whose modulebasis is indexed by a class of combintorial objects with multiplication onbasis elements typically determined by some combinatorial operation. Someexamples of combinatorial algebras include the symmetric group algebra of ordern (indexed by permutations of size n), the algebra of Schubert polynomials(indexed by permutations), partition algebras (indexed by set partitionssatisfying certain constraints), and the symmetric function algebra (indexedby integer partitions). In this talk, I will go over support for combinatorial algebras in SAGE with an emphasis on symmetric functions, some issuesthat have arisen in their implementation, and things still left to do.}}}[[http://mwhansen.org/combinatorial_algebras.pdf|Slides]] [[http://www.mwhansen.org/sage-uw.html|Worksheets]] [[http://video.google.com/videoplay?docid=4519457622361288638&hl=en|Video]]=======================================================================Monday, October 15, 2007:{{{TITLE: Introduction to Abelian VarietiesTIME: 5-6pm on Monday, October 15, 2007LOCATION: B027 in the Communications buildingSPEAKER: Robert MillerAbstract: What the heck is an abelian variety? Elliptic curves arethe 1-dimensional abelian varieties. What are they in general? Maybesomething like an abelian group and an algebraic variety? A complextorus is a complex manifold which is diffeomorphic to an n-torus. Allsuch structures can be obtained as a quotient of CC^n by a lattice,and this procedure gives us a compact complex manifold. For n=1, thisis an elliptic curve. For n >= 1, any variety structure on a complextorus must be unique, and Riemann proved that there is such a varietystructure if and only if the torus can be embedded in complexprojective space. More specifically, CC^n/L is an abelian variety ifand only if there is a positive definite Hermitian form whoseimaginary part takes integral values on L.After defining abelian varieties as above, William Stein will givean example or two in Sage.}}}Monday, October 22, 2007:(no seminar)Monday, November 5, 2007:Monday, November 12, 2007: (no seminar -- Sage Days 6)Monday, November 19, 2007:Monday, November 26, 2007:Monday, December 3, 2007:

## The UW Sage Seminar Schedule

The seminar meets at 5pm in Communications B027.

DATE: Monday, December 3, at 5pm
TITLE: Status reports

DATE: Monday, November 26, at 5pm

Seminar: The Sage Seminar

Organizer: William Stein

Title: Combinatorial Generation

Speaker: Robert Miller, UW

Location: 5pm in Communications B027

Abstract: Suppose you want to classify some collection of objects.
Optimally, as is often the case if your objects are algebraic, there
is some theorem that does all the work. For example, finitely
generated abelian groups are determined by a sequence of integers,
i.e. the rank and the elementary divisors. On the other end of the
spectrum is when your objects are not so well behaved, and there is a
"combinatorial explosion" of possibilities- you cannot hope for a
theorem, and instead you wish to simply generate those objects one by
one, such that each isomorphism class has exactly one representative
generated. The naive approach would be to go through each possibility,
adding one to the list only after it has been determined to be not
isomorphic to those already in the list. There is an alternative
approach, involving no isomorphism elimination at all. This approach will
be explained, and some new coding theory software will be presented.

=======================================================================

TITLE: Groebner Basics
LOCATION: Thomson Hall 215 at ** 4PM ** on November 5, 2007
SPEAKER: Josh Kantor
ABSTRACT:
Groebner bases are a fundamental tool which allow for efficient
algorithmic computation in polynomial rings and modules over such rings.
We we will start with the simple question of ideal membership, i.e.,
given an ideal $I \subset k[x_1,\ldots x_n]$, and $f \in k[x_1,\ldots, x_n]$, how does one check whether or not $f\in I$. We will show how
Groebner basis solve this problem, and others.

=======================================================================

Monday, October 29, 2007:

TITLE: Combinatorial Algebras in SAGE
TIME: 5-6pm on Monday, October 29, 2007
LOCATION: B027 in the Communications building
SPEAKER: Mike Hansen
Abstract:  A "combinatorial algebra" is an algebra over a ring whose module
basis is indexed by a class of combintorial objects with multiplication on
basis elements typically determined by some combinatorial operation.  Some
examples of combinatorial algebras include the symmetric group algebra of order
n (indexed by permutations of size n), the algebra of Schubert polynomials
(indexed by permutations), partition algebras (indexed by set partitions
satisfying certain constraints), and the symmetric function algebra (indexed
by integer partitions).  In this talk, I will go over support for combinatorial
algebras in SAGE with an emphasis on symmetric functions, some issues
that have arisen in their implementation, and things still left to do.

=======================================================================

Monday, October 15, 2007:

TITLE: Introduction to Abelian Varieties
TIME: 5-6pm on Monday, October 15, 2007
LOCATION: B027 in the Communications building
SPEAKER: Robert Miller
Abstract: What the heck is an abelian variety? Elliptic curves are
the 1-dimensional abelian varieties.   What are they in general?  Maybe
something like an abelian group and an algebraic variety? A complex
torus is a complex manifold which is diffeomorphic to an n-torus. All
such structures can be obtained as a quotient of CC^n by a lattice,
and this procedure gives us a compact complex manifold. For n=1, this
is an elliptic curve. For n >= 1, any variety structure on a complex
torus must be unique, and Riemann proved that there is such a variety
structure if and only if the torus can be embedded in complex
projective space. More specifically, CC^n/L is an abelian variety if
and only if there is a positive definite Hermitian form whose
imaginary part takes integral values on L.
After defining abelian varieties as above, William Stein will give
an example or two in Sage.

Monday, October 22, 2007:

(no seminar)

Monday, November 5, 2007:

Monday, November 12, 2007: (no seminar -- Sage Days 6)

Monday, November 19, 2007:

Monday, November 26, 2007:

Monday, December 3, 2007:

sage-uw/sched (last edited 2008-11-14 13:41:55 by localhost)