help links subscribe changes refresh edit

	SandBoxTensorProduct
FreeModuleCategory ←	↑	→ SandBoxTensorProductPolynomial

SandBoxHopfAlgebra

Edit detail for SandBoxHopfAlgebra revision 5 of 6

	1 2 3 4 5 6
Editor: Bill Page Time: 2009/10/12 00:36:56 GMT-7
Note: update

changed:
-    Delta : % -> RR
    delta : % -> RR

changed:
-         FreeModuleCat(R, FM), BiAlgebra(R, PxP))
         FreeModuleCategory(R, FM), BiAlgebra(R, PxP))

changed:
-           Delta1(n:NonNegativeInteger):PxP == 
           delta1(n:NonNegativeInteger):PxP == 

changed:
-           ListOfTerms(p:%):List TERM ==
           listOfTerms(p:%):List TERM ==

changed:
-                  m:FM := (variable()$S)**degree p
                  m:FM := (variable()$S)^degree p

changed:
-           Delta(p:%):PxP == 
           delta(p:%):PxP == 

changed:
-                lt * Delta1(degree p) + Delta reductum p
                lt * delta1(degree p) + delta reductum p

changed:
-Delta p
-Delta(p^2)
-Delta(p)^2
delta p
delta(p^2)
delta(p)^2

changed:
-Delta(q^2)
delta(q^2)

changed:
-  TensorProduct(R:CommutativeRing,LB:List OrderedSet, LM:List FreeModuleCat(R))?
  TensorProduct(R:CommutativeRing,LB:List OrderedSet, LM:List FreeModuleCategory(R))?

changed:
-3. Delta or coproduct? epsilon or counit? S or antipode? 
3. delta or coproduct? epsilon or counit? S or antipode? 

changed:
-5. For now TensorProduct relies on FreeModuleCat.
5. For now TensorProduct relies on FreeModuleCategory.

changed:
-   to add FreeModuleCat everywhere. Extend would be good ...
   to add FreeModuleCategory everywhere. Extend would be good ...

On Fri, May 15, 2009 at 03:23:33AM +0200, Franz Lehner wrote:

Now it more or less works, included is a first example of a bialgebra (just too lazy to write up the antipode):

axiom

)library TENSORC TENSORP TENSORD

   TensorProductCategory is now explicitly exposed in frame initial 
   TensorProductCategory will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/TENSORC.NRLIB/TENSORC
   TensorProductProperty is now explicitly exposed in frame initial 
   TensorProductProperty will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/TENSORP.NRLIB/TENSORP
   TensorProduct is now explicitly exposed in frame initial 
   TensorProduct will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/TENSORD.NRLIB/TENSORD

spad

)abbrev category COALG CoAlgebra
CoAlgebra(R : CommutativeRing, RR : TensorProductCategory(R, %, %)) : Category == _
        Module(R) with
    delta : % -> RR
       ++ delta is comultiplication
    counit: % -> R
       ++ counit
)abbrev category BIALG BiAlgebra
BiAlgebra(R : CommutativeRing, RR : TensorProductCategory(R, %, %)) : Category == _
     Join(Algebra(R), CoAlgebra(R, RR))
)abbrev category HOPFALG HopfAlgebra
HopfAlgebra(R : CommutativeRing, RR : TensorProductCategory(R, %, %)) : Category _
     == BiAlgebra(R, RR) with
    S : % -> %
       ++ the antipode
)abbrev domain PHALG PolyHopfAlgebra
PolyHopfAlgebra(R: CommutativeRing,x: Symbol): C == T where
    S == Variable x
    FM == FreeMonoid Symbol
    PxP == TensorProduct(R, FM, FM, %, %) 
--    C == Join(FreeModule(R, FM),HopfAlgebra(R, PxP))
    C == Join(UnivariatePolynomialCategory(R), _
         FreeModuleCategory(R, FM), BiAlgebra(R, PxP))

    TERM == Record(k: FM,c: R)

    T == SparseUnivariatePolynomial(R) add
           Rep:= SparseUnivariatePolynomial(R) 

           monom(a:FM,r:R):% == 
                one? a => monomial(r, 0@NonNegativeInteger)
                monomial(r, nthExpon(a, 1@Integer))

--           monomial(r:R, n:NonNegativeInteger) == monomial(r,n)@Rep

           coerce(p:%):OutputForm == outputForm(p,outputForm x)$Rep

           delta1(n:NonNegativeInteger):PxP == 
                res: PxP := 0
                nn:List NonNegativeInteger := [k for k in 0..n]
                for k1 in nn for k2 in reverse nn repeat
                     res:= res + binomial(n,k1)*product(monomial(1@R,k1),monomial(1@R,k2))$PxP
                res

           listOfTerms(p:%):List TERM ==
               res:List TERM := []
               while not zero? p repeat
                  m:FM := (variable()$S)^degree p
                  m1:TERM := [m,leadingCoefficient p]
                  res:=concat!(res, m1)
                  p:=reductum p
               res

           delta(p:%):PxP == 
                zero? p => 0
                lt:R := leadingCoefficient p
                lt * delta1(degree p) + delta reductum p

           counit(p:%):R == coefficient(p,0)

spad

   Compiling FriCAS source code from file 
      /var/zope2/var/LatexWiki/3454600365879529516-25px002.spad using 
      old system compiler.
   COALG abbreviates category CoAlgebra 
------------------------------------------------------------------------
   initializing NRLIB COALG for CoAlgebra 
   compiling into NRLIB COALG 

;;;     ***       |CoAlgebra| REDEFINED
Time: 0.15 SEC.

   finalizing NRLIB COALG 
   Processing CoAlgebra for Browser database:
--------(delta (RR %))---------
--------(counit (R %))---------
--->-->CoAlgebra(constructor): Not documented!!!!
--->-->CoAlgebra(): Missing Description
; compiling file "/var/zope2/var/LatexWiki/COALG.NRLIB/COALG.lsp" (written 28 JUN 2011 09:06:47 AM):

; /var/zope2/var/LatexWiki/COALG.NRLIB/COALG.fasl written
; compilation finished in 0:00:00.024
------------------------------------------------------------------------
   CoAlgebra is now explicitly exposed in frame initial 
   CoAlgebra will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/COALG.NRLIB/COALG

   BIALG abbreviates category BiAlgebra 
------------------------------------------------------------------------
   initializing NRLIB BIALG for BiAlgebra 
   compiling into NRLIB BIALG 

;;;     ***       |BiAlgebra| REDEFINED
Time: 0.02 SEC.

   finalizing NRLIB BIALG 
   Processing BiAlgebra for Browser database:
--->-->BiAlgebra(): Missing Description
; compiling file "/var/zope2/var/LatexWiki/BIALG.NRLIB/BIALG.lsp" (written 28 JUN 2011 09:06:47 AM):

; /var/zope2/var/LatexWiki/BIALG.NRLIB/BIALG.fasl written
; compilation finished in 0:00:00.010
------------------------------------------------------------------------
   BiAlgebra is now explicitly exposed in frame initial 
   BiAlgebra will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/BIALG.NRLIB/BIALG

   HOPFALG abbreviates category HopfAlgebra 
------------------------------------------------------------------------
   initializing NRLIB HOPFALG for HopfAlgebra 
   compiling into NRLIB HOPFALG 

;;;     ***       |HopfAlgebra| REDEFINED
Time: 0.01 SEC.

   finalizing NRLIB HOPFALG 
   Processing HopfAlgebra for Browser database:
--------(S (% %))---------
--->/usr/local/lib/fricas/target/x86_64-unknown-linux/../../src/algebra/HOPFALG.spad-->HopfAlgebra(constructor): Not documented!!!!
--->/usr/local/lib/fricas/target/x86_64-unknown-linux/../../src/algebra/HOPFALG.spad-->HopfAlgebra(): Missing Description
; compiling file "/var/zope2/var/LatexWiki/HOPFALG.NRLIB/HOPFALG.lsp" (written 28 JUN 2011 09:06:48 AM):

; /var/zope2/var/LatexWiki/HOPFALG.NRLIB/HOPFALG.fasl written
; compilation finished in 0:00:00.011
------------------------------------------------------------------------
   HopfAlgebra is now explicitly exposed in frame initial 
   HopfAlgebra will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/HOPFALG.NRLIB/HOPFALG

   PHALG abbreviates domain PolyHopfAlgebra 
------------------------------------------------------------------------
   initializing NRLIB PHALG for PolyHopfAlgebra 
   compiling into NRLIB PHALG 
   compiling exported monom : (FreeMonoid Symbol,R) -> $
Time: 0.20 SEC.

   compiling exported coerce : $ -> OutputForm
Time: 0.01 SEC.

   compiling local delta1 : NonNegativeInteger -> TensorProduct(R,FreeMonoid Symbol,FreeMonoid Symbol,$,$)
Time: 0.04 SEC.

   compiling exported listOfTerms : $ -> List Record(k: FreeMonoid Symbol,c: R)
Time: 0.02 SEC.

   compiling exported delta : $ -> TensorProduct(R,FreeMonoid Symbol,FreeMonoid Symbol,$,$)
Time: 0.01 SEC.

   compiling exported counit : $ -> R
Time: 0.01 SEC.

****** Domain: $ already in scope
augmenting $: (CharacteristicNonZero)
****** Domain: R already in scope
augmenting R: (PolynomialFactorizationExplicit)
****** Domain: R already in scope
augmenting R: (ConvertibleTo (InputForm))
****** Domain: (SingletonAsOrderedSet) already in scope
augmenting (SingletonAsOrderedSet): (ConvertibleTo (InputForm))
****** Domain: R already in scope
augmenting R: (ConvertibleTo (Pattern (Float)))
****** Domain: (SingletonAsOrderedSet) already in scope
augmenting (SingletonAsOrderedSet): (ConvertibleTo (Pattern (Float)))
****** Domain: R already in scope
augmenting R: (ConvertibleTo (Pattern (Integer)))
****** Domain: (SingletonAsOrderedSet) already in scope
augmenting (SingletonAsOrderedSet): (ConvertibleTo (Pattern (Integer)))
****** Domain: R already in scope
augmenting R: (PatternMatchable (Float))
****** Domain: (SingletonAsOrderedSet) already in scope
augmenting (SingletonAsOrderedSet): (PatternMatchable (Float))
****** Domain: R already in scope
augmenting R: (PatternMatchable (Integer))
****** Domain: (SingletonAsOrderedSet) already in scope
augmenting (SingletonAsOrderedSet): (PatternMatchable (Integer))
****** Domain: R already in scope
augmenting R: (Algebra (Fraction (Integer)))
****** Domain: R already in scope
augmenting R: (Comparable)
****** Domain: R already in scope
augmenting R: (Field)
****** Domain: R already in scope
augmenting R: (GcdDomain)
****** Domain: R already in scope
augmenting R: (IntegralDomain)
****** Domain: R already in scope
augmenting R: (LinearlyExplicitRingOver (Integer))
****** Domain: R already in scope
augmenting R: (PartialDifferentialRing (Symbol))
****** Domain: R already in scope
augmenting R: (PolynomialFactorizationExplicit)
****** Domain: R already in scope
augmenting R: (RetractableTo (Fraction (Integer)))
****** Domain: R already in scope
augmenting R: (RetractableTo (Integer))
****** Domain: R already in scope
augmenting R: (StepThrough)
(time taken in buildFunctor:  750)

;;;     ***       |PolyHopfAlgebra| REDEFINED

;;;     ***       |PolyHopfAlgebra| REDEFINED
Time: 1.02 SEC.

   Warnings: 
      [1] not known that (OrderedSet) is of mode (CATEGORY domain (SIGNATURE * ($ (Symbol) $)) (SIGNATURE * ($ $ (Symbol))) (SIGNATURE ^ ($ (Symbol) (NonNegativeInteger))) (SIGNATURE hclf ($ $ $)) (SIGNATURE hcrf ($ $ $)) (SIGNATURE lquo ((Union $ failed) $ $)) (SIGNATURE rquo ((Union $ failed) $ $)) (SIGNATURE divide ((Union (Record (: lm $) (: rm $)) failed) $ $)) (SIGNATURE overlap ((Record (: lm $) (: mm $) (: rm $)) $ $)) (SIGNATURE size ((NonNegativeInteger) $)) (SIGNATURE factors ((List (Record (: gen (Symbol)) (: exp (NonNegativeInteger)))) $)) (SIGNATURE nthExpon ((NonNegativeInteger) $ (Integer))) (SIGNATURE nthFactor ((Symbol) $ (Integer))) (SIGNATURE mapExpon ($ (Mapping (NonNegativeInteger) (NonNegativeInteger)) $)) (SIGNATURE mapGen ($ (Mapping (Symbol) (Symbol)) $)) (IF (has (Symbol) (OrderedSet)) (ATTRIBUTE (OrderedSet)) noBranch))
      [2] delta1: not known that (OrderedSet) is of mode (CATEGORY domain (SIGNATURE * ($ (Symbol) $)) (SIGNATURE * ($ $ (Symbol))) (SIGNATURE ^ ($ (Symbol) (NonNegativeInteger))) (SIGNATURE hclf ($ $ $)) (SIGNATURE hcrf ($ $ $)) (SIGNATURE lquo ((Union $ failed) $ $)) (SIGNATURE rquo ((Union $ failed) $ $)) (SIGNATURE divide ((Union (Record (: lm $) (: rm $)) failed) $ $)) (SIGNATURE overlap ((Record (: lm $) (: mm $) (: rm $)) $ $)) (SIGNATURE size ((NonNegativeInteger) $)) (SIGNATURE factors ((List (Record (: gen (Symbol)) (: exp (NonNegativeInteger)))) $)) (SIGNATURE nthExpon ((NonNegativeInteger) $ (Integer))) (SIGNATURE nthFactor ((Symbol) $ (Integer))) (SIGNATURE mapExpon ($ (Mapping (NonNegativeInteger) (NonNegativeInteger)) $)) (SIGNATURE mapGen ($ (Mapping (Symbol) (Symbol)) $)) (IF (has (Symbol) (OrderedSet)) (ATTRIBUTE (OrderedSet)) noBranch))
      [3] delta: not known that (OrderedSet) is of mode (CATEGORY domain (SIGNATURE * ($ (Symbol) $)) (SIGNATURE * ($ $ (Symbol))) (SIGNATURE ^ ($ (Symbol) (NonNegativeInteger))) (SIGNATURE hclf ($ $ $)) (SIGNATURE hcrf ($ $ $)) (SIGNATURE lquo ((Union $ failed) $ $)) (SIGNATURE rquo ((Union $ failed) $ $)) (SIGNATURE divide ((Union (Record (: lm $) (: rm $)) failed) $ $)) (SIGNATURE overlap ((Record (: lm $) (: mm $) (: rm $)) $ $)) (SIGNATURE size ((NonNegativeInteger) $)) (SIGNATURE factors ((List (Record (: gen (Symbol)) (: exp (NonNegativeInteger)))) $)) (SIGNATURE nthExpon ((NonNegativeInteger) $ (Integer))) (SIGNATURE nthFactor ((Symbol) $ (Integer))) (SIGNATURE mapExpon ($ (Mapping (NonNegativeInteger) (NonNegativeInteger)) $)) (SIGNATURE mapGen ($ (Mapping (Symbol) (Symbol)) $)) (IF (has (Symbol) (OrderedSet)) (ATTRIBUTE (OrderedSet)) noBranch))

   Cumulative Statistics for Constructor PolyHopfAlgebra
      Time: 1.31 seconds

--------------non extending category----------------------
.. PolyHopfAlgebra(#1,#2) of cat 
(|Join| (|UnivariatePolynomialCategory| |#1|)
        (|FreeModuleCategory| |#1| (|FreeMonoid| (|Symbol|)))
        (|BiAlgebra| |#1|
                     (|TensorProduct| |#1| (|FreeMonoid| (|Symbol|))
                                      (|FreeMonoid| (|Symbol|)) $ $)))    has no  outputForm : (%,OutputForm) -> OutputForm 
   finalizing NRLIB PHALG 
   Processing PolyHopfAlgebra for Browser database:
--->-->PolyHopfAlgebra(): Missing Description
; compiling file "/var/zope2/var/LatexWiki/PHALG.NRLIB/PHALG.lsp" (written 28 JUN 2011 09:06:50 AM):

; /var/zope2/var/LatexWiki/PHALG.NRLIB/PHALG.fasl written
; compilation finished in 0:00:00.158
------------------------------------------------------------------------
   PolyHopfAlgebra is now explicitly exposed in frame initial 
   PolyHopfAlgebra will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/PHALG.NRLIB/PHALG

   >> System error:
   The bounding indices 163 and 162 are bad for a sequence of length 162.
See also:
  The ANSI Standard, Glossary entry for "bounding index designator"
  The ANSI Standard, writeup for Issue SUBSEQ-OUT-OF-BOUNDS:IS-AN-ERROR

axiom

P:=PolyHopfAlgebra(Integer,'u)

$\label{eq1}\hbox{\axiomType{PolyHopfAlgebra}\ } (\hbox{\axiomType{Integer}\ } , u)$

(1)

Type: Type

axiom

p:=monomial(1,1)$P

$\label{eq2}u$

(2)

Type: PolyHopfAlgebra?(Integer,u)

axiom

delta p

   >> System error:
   #<SB-SYS:FD-STREAM
  for "file /var/zope2/var/LatexWiki/TENSORD.NRLIB/TENSORD.fasl" {1005BB9B91}>
is a fasl file compiled with SBCL 1.0.31, and can't be loaded into SBCL 1.0.47.

Please comment.

Next comes the old problem come with iterated structures. Is it in principle possible to have:

  TensorProduct(R:CommutativeRing,LB:List OrderedSet, LM:List FreeModuleCategory(R))?

Since the coproduct is coassociative, we might want to define "powers", but I realize that tensor powers are actually feasible.

Actually the basis is not redundant; in the attached example the implementation of the Coalgebra does not use the basis which it pretends to the tensor product. Still exporting a basis would be a nice thing.