OpenMath

Content Dictionaries for Algebraic Topology

preview wiki markup help

Details

  • Type: Improvement Improvement
  • Status: Open Open
  • Priority: Major Major
  • Resolution: Unresolved
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: Content Dictionaries
  • Label:
  • Description:
    Hide

    Content Group File:
    Algebraic-Topology.cdg

    Content Dictionaries Files:
    1. Abelian-Simplicial-Groups
    2. Algebras
    3. Chain-Complexes
    4. Chain-Complex-Morphisms
    5. Coalgebras
    6. Equivalences
    7. Hopf-algebras
    8. Kan-Simplicial-Sets
    9. Reductions
    10. Simplicial-Groups
    11. Simplicial-Set-Morphisms
    12. Simplicial-Sets

    Author:
    Jónathan Heras

    Email:
    jonathan.heras@unirioja.es

    Description:
    We present OpenMath Content Dictionaries for main mathematical structures in Algebraic Topology.

    Show
    Content Group File: Algebraic-Topology.cdg Content Dictionaries Files: 1. Abelian-Simplicial-Groups 2. Algebras 3. Chain-Complexes 4. Chain-Complex-Morphisms 5. Coalgebras 6. Equivalences 7. Hopf-algebras 8. Kan-Simplicial-Sets 9. Reductions 10. Simplicial-Groups 11. Simplicial-Set-Morphisms 12. Simplicial-Sets Author: Jónathan Heras Email: jonathan.heras@unirioja.es Description: We present OpenMath Content Dictionaries for main mathematical structures in Algebraic Topology.
  • Environment:
    Content Dictionaries for Algebraic Topology
  1. Content Dictionaries for Algebraic Topology.rar
    (32 kB)
    Jonathan Heras Vicente
    2009-06-03 10:06
  2. Content-Dictionaries-for-Algebraic-Topology.zip
    (64 kB)
    Jonathan Heras Vicente
    2009-05-22 09:05
  3. jonathan_heras.vcf
    (0.5 kB)
    Jonathan Heras Vicente
    2009-06-16 08:06

Activity

Hide
Jonathan Heras Vicente added a comment - 2009-06-03 10:06

I have added a new version of the Content Dictionaries because the previous ones have some problems.
The current version is in the file Content Dictionaries for Algebraic Topology.rar

Show
Jonathan Heras Vicente added a comment - 2009-06-03 10:06 I have added a new version of the Content Dictionaries because the previous ones have some problems. The current version is in the file Content Dictionaries for Algebraic Topology.rar
Hide
Paul Libbrecht added a comment - 2009-06-16 00:06

Jonathan,

sorry to be slow.

I looked briefly at the CDs.

One of the problems I have which is a blocker is that you do not provide a CDComment with:

  • author-names
  • licenses

I'm also missing a cdg file if we want to make it a group (which is sensible!).

Your CD files don't contain the right namespace declaration in the root element, this has to be fixed (xmlns="http://www.openmath.org/OpenMathCD"). Similarly, each OMOBJ requires a (different) namespace.

A good test could be to try to apply the XSLT:
http://svn.openmath.org/www/cdfiles2/xsl/cd.xsl

I have corrected Simplicial-Sets and the results seems not too bad:
http://klein.activemath.org/~paul/tmp/Simplicial-Sets.xhtml
http://klein.activemath.org/~paul/tmp/Simplicial-Sets.ocd
at least as a first step, the next being to enrich the rendering so that a good notation is used.

paul

Show
Paul Libbrecht added a comment - 2009-06-16 00:06 Jonathan, sorry to be slow. I looked briefly at the CDs. One of the problems I have which is a blocker is that you do not provide a CDComment with:
  • author-names
  • licenses
I'm also missing a cdg file if we want to make it a group (which is sensible!). Your CD files don't contain the right namespace declaration in the root element, this has to be fixed (xmlns="http://www.openmath.org/OpenMathCD"). Similarly, each OMOBJ requires a (different) namespace. A good test could be to try to apply the XSLT: http://svn.openmath.org/www/cdfiles2/xsl/cd.xsl I have corrected Simplicial-Sets and the results seems not too bad: http://klein.activemath.org/~paul/tmp/Simplicial-Sets.xhtml http://klein.activemath.org/~paul/tmp/Simplicial-Sets.ocd at least as a first step, the next being to enrich the rendering so that a good notation is used. paul
Hide
Jonathan Heras Vicente added a comment - 2009-06-16 08:06

Dear Paul,

First of all, I would like to thank you for your comments.

I will include your recommendations in the next version of our CDs. To
send the next version of our CDs, do I have to upload a new version in
the issue tracker or send it by e-mail?

Sincerely,
Jonathan

Show
Jonathan Heras Vicente added a comment - 2009-06-16 08:06 Dear Paul, First of all, I would like to thank you for your comments. I will include your recommendations in the next version of our CDs. To send the next version of our CDs, do I have to upload a new version in the issue tracker or send it by e-mail? Sincerely, Jonathan
Hide
Paul Libbrecht added a comment - 2009-06-16 09:06

Jonathan,

the issue tracker is the best place for now.

paul

Show
Paul Libbrecht added a comment - 2009-06-16 09:06 Jonathan, the issue tracker is the best place for now. paul

People

Dates

  • Created:
    2009-05-22 09:05
    Updated:
    2009-06-16 09:06