2009-09-13 * cd/fns1.ocd: added an extra FMP for restriction (James Davenport) * cd/nums1.ocd: updated comments (James Davenport) * cd/calculus1.ocd: incremented major version (James Davenport) * cd/mathmlattr.ocd: updated comments (James Davenport) * cd/interval1.ocd: updated (James Davenport) * sts/interval1.sts: updated (James Davenport) 2009-05-31 * cd/mathmlkeys.ocd: Copy from old mathml3 draft svn cd area. make valid to omcd2.rnc. * sts/mathmlkeys.sts: new file 2009-04-28 * sts/mathmlattr.sts: add style,definitionURL,other * cd/mathmlattr.ocd: add style,definitionURL,other 2009-04-27 * sts/mathmlattr.sts: new CD * cd/mathmlattr.ocd: new CD 2009-04-23 * xsl/fns2.xsl: added template so a < b < c works. * cd/fns2.ocd: New FMP for predicate_on_list from James Davenport. 2009-04-19 * cd/fns2.ocd: Version 4, add predicate_on_list * cd/fns2.sts: add predicate_on_list 2009-04-05 * cd/calculus1.ocd: Use ordered_interval in defint examples * xsl/calculus1.xsl: Support ordered_interval in defint * sts/nums1.sts: based_float * cd/nums1.ocd: based_float * xsl/nums1.xsl: based_float, also correct rendering of based_integer 2009-04-03 * cd/fns2.ocd: Fix referenced name in examples from make_list to map. * sts/fns1.sts: add restriction * xsl/fns1.xsl: add restriction * cd/fns1.ocd: add restriction, deprecate domainofapplication * sts/calculus1.sts: add partialdiffdegree * xsl/calculus1.xsl: add partialdiffdegree * cd/calculus1.ocd: add partialdiffdegree * sts/interval1.sts: add ordered_interval * xsl/interval1.xsl: add ordered_interval * cd/interval1.ocd: add ordered_interval 2004-02-02 * sts/poly.sts: add coefficient_ring and evaluate symbols * cd/poly.ocd: add coefficient_ring and evaluate symbols * sts/list2.sts: add size symbol * cd/list2.ocd: add size symbol 2003-12-04 * cd/quant1.ocd: Changed for all example to specify x is real. (From Bill Naylor) * cd/fns1.ocd: Correct FMP for inverse (From Bill Naylor) * cd/arith1.ocd: Correct matrix multiplcation example (From Bill Naylor) 2003-09-22 * contrib/xsl/sts.xsl: correct relative link to verb.xsl 2003-09-09 * sts/multiset1.sts: correct top level cd reference (From Bill Naylor) 2003-08-21 * sts/piece1.sts: OMV not OMS for Piece (From Bill Naylor) 2003-08-13 * sts/piece1.sts: fix typo in cd reference (From Bill Naylor) 2003-08-11 * cd/polyu.ocd: add polyu (From James Davenport) * sts/polyu.sts: add polyu (From James Davenport) * cdgroups/polygrp.cdg: add polyu (From James Davenport) 2003-07-22 * sts/list2.sts: Update list 2 (submitted by James Davenport via contribtion form) * cd/list2.ocd: Update list 2 (submitted by James Davenport via contribtion form) 2003-07-16 * cd/transc2.ocd: (Bill Naylor) Fix CDUses list, spurious OMA in example. 2003-07-01 * sts/fns1.sts: Update from Bill Naylor * sts/poly.sts: Update from Bill Naylor * sts/polyd.sts: Update from Bill Naylor * sts/polyr.sts: Update from Bill Naylor 2003-06-05 root * cd/moreerrors.ocd: Spurious OMA replaced by OME (Clare So, Bill Naylor) 2003-05-08 * cd/transc3.ocd: ln symbol should be ln[cd=transc3] not ln[cd=transc1] (from Bill Naylor) * sts/combinat1.sts: updated with some real content (from Bill Naylor) 2003-05-06 * cd/arith2.ocd: correction to FMP for times and CDUses list from Bill Naylor) 2003-04-30 * sts/dimensions1.sts: add sts for speed and displacement (from Bill Naylor) * cd/dimensions1.ocd: fix FMP for velocity (from Bill Naylor) 2003-03-27 * cd/transc2.ocd: typo fixed "ne_q_" cd="relation1"/>(from Bill Naylor) 2003-03-25 * cd/moreerrors.ocd: Correct metadata and add examples (from Bill Naylor) * sts/moreerrors.sts: use more specific symbols from sts and omtypes CDs (from Bill Naylor) * cd/setname2.sts: correct typos and examples (from Bill Naylor) * cd/combinat1.ocd: correct typos and examples (from Bill Naylor) 2003-01-28 * cd/polyslp.ocd: fix typo polyRing_SLP to poly_ring_SLP (from Bill Naylor) 2003-01-22 * cd/physical_consts1.ocd: Fixed typos (from Bill Naylor) * cd/polyd.ocd: Fixed typos (from Bill Naylor) 2003-01-10 * cd/physical_consts1.ocd: Update with additional CMP and FMP from Bill Naylor 2003-01-07 * sts/dimensions1.sts: Update from Bill Naylor: additional FMP and adds displacement. * cd/dimensions1.ocd: Update from Bill Naylor: additional FMP and adds displacement. 2002-11-20 * sts/multiset1.sts; Fix Set/MultSet typo in cartesian_product (Bill Naylor) 2002-09-19 * cd/calculus1.ocd: (JHD) editorial correction to description of nthdiff. * cdgroups/algstr1.cdg: add (existing) indnat CD * cdgroups/constants.cdg: New CD group for (existing) constants CD. * cdgroups/units.cdg: New CD group for (existing) units CDs. * cdgroups/error.cdg: add missing moreerrors CD 2002-09-17 James Davenport * cd/dimensions1.ocd: (ex WAN) Added many CMP/FMPs; resistance,density, energy, concentration, momentum * sts/dimensions1.sts: Added various new STSs * sts/polyd.sts: Updated to match * cd/polyd.ocd: Added changes from Abbott/Davenport/Strotmann: poly_ring_d_named, anonymous, matrix_order, weighted, weighted_degree, completely_reduced, also fixed errors and examples * sts/poly.sts: Corresponding changes * cd/poly.ocd: Added changes from Abbott/Davenport/Strotmann: partially_factored, leading_coefficient, coefficient, discriminant * sts/transc3.sts: Fix previous: forgot about the two-argument log * sts/sts.sts: To match sts.ocd change below * cd/sts.ocd: Added SetNumericalValue, as used in transc3.sts * sts/transc3.sts (Author): Written to match CD * sts/transc2.sts (Author): rewritten to match the CD * sts/complex1.sts: Fixed signature of argument 2002-09-17 * cd/polyslp.ocd: (JHD) corrections to text and names made coherent. * cd/complex1.ocd: (JHD) fixed "argument". 2002-09-11 * cdgroups/transc.cdg New CD Group * cd/transc3.ocd: 1.0 New CD: many transcendental and related functions. * cd/transc2.ocd: 1.0 New CD: cf Fortran ATAN2 * cd/transc1.ocd: 2.1 (JHD) Correction to CMP/FMP * cd/set2.ocd: Version 2 (JHD) new version (old version 1 was obsolete and incorporated into set1) 2002-05-31 root * cd/calculus1.ocd: Version 3 (JHD) add nthdiff as agreed at Nice OM meeting 2002-04-26 David Carlisle * cd/s_data1.ocd: arith1 appeared twice in duses. (Michael Kohlhase) * cd/fns2.ocd: relation1 appeared twice in cduses. (Michael Kohlhase) * cd/s_dist1.ocd: arith1 and arith2 appeared twice in cduses. (Michael Kohlhase) * sts/list2.sts: delete spurious make-list (not in CD). (W. Naylor) * sts/linalg5.sts: linalg3 -> linalg5 typo. (W. Naylor) * cd/nums1.ocd: "the _principal_ square root" (W. Naylor) * cd/complex1.ocd: "the _principal_ square root" (W. Naylor) 2002-04-23 David Carlisle * cd/index.xml: Re-arrange CD distribution for new OpenMath web site. 2001-04-04 David Carlisle * cdfiles/sts/permut1.sts (Author): lowercase Permutation * cd/linalg4.ocd: identity in linalg5 not 4 * cdfiles/sts/limit1.sts: correct bothsides to both_sides * cd/piece1.ocd: correct reference to relation1 CD in example. * cdfiles/sts/multiset1.sts: add size * cdfiles/xsl/cd.xsl: extra ../ in link to cd (due to removal of symlink) * cdfiles/xsl/cd-extra.xsl: extra ../ in link to cd (due to removal of symlink) * cdfiles/run: remove use of symbolic links (complicate use on web server) 2001-04-03 David Carlisle * meta.ocd: Correct example. (XML validity) * linalg5.ocd: Correct example. (XML validity) * group1.ocd: Correct example. (XML validity) * arith1.ocd: Correct example. (XML validity) * cd: spell check: complex1.ocd linalg5.ocd piece1.ocd ecc.ocd mathmltypes.ocd polyd.ocd icc.ocd meta.ocd polyslp.ocd integer1.ocd metasig.ocd s_data1.ocd linalg2.ocd moreerrors.ocd set1.ocd linalg3.ocd multiset1.ocd units_metric1.ocd linalg4.ocd physical_consts1.ocd veccalc1.ocd 2001-04-02 David Carlisle * xsl/index.xsl: fix relative URL from index files. 2001-03-12 David Carlisle * cd: Change status of core CDs to official (and update dates) * html/public/public-intro.html: New intro for the view of "Public" CDs, which was previously a no op. * cdgroups/mathml.cdg: Add piece1 * cd/piece1.ocd: New File (James Davenport) * sts/piece1.sts: New File (James Davenport) * sts/fns1.sts: Add domainofapplication (James Davenport) * cd/fns1.ocd: Add domainofapplication (James Davenport) * cd/setname2.ocd: Modify FMP (James Davenport) * cd/setname1.ocd: Modify FMP (James Davenport) 2000-09-13 David Carlisle * cd/arith2.ocd: delete arg (argument is in complex1) 2000-09-13 James Davenport * cd/arith1.ocd: Several new examples (as suggested by Andreas Strotmann) and some changes to the descriptions to be less terse. * cd/meta.ocd: Updated the text to match the standard * dtd/omcd.dtd: Modify to enforce exactly one Description child of CDDefinition 2000-09-05 David Carlisle * cdgroups/fns.cdg: new group for fns1 and fns2 * cdgroups/arith.cdg: new group for arith1 and arith2 * cdgroups/list.cdg: new group for list1 and list2 2000-08-24 W A Naylor * sts/fns1.sts: signatures for left_inverse and right_inverse defined. * cd/fns1.ocd: left_inverse and right_inverse symbols defined. 2000-08-14 W A Naylor * cd/alg1.ocd: mended bug in FMP for zero. * sts/dimensions1.sts, sts/units_metric1.sts, sts/units_imperial1.sts: created the signature files with the following symbols. * cd/units_imperial1.ocd: created this CD with symbols; bar, degree_Fahrenheit, hectare, mile, miles_per_hr, miles_per_hr_sqrd, pint, pound_force, pound_mass. * cd/units_metric1.ocd: created this CD with symbols; amp, Coulomb, degree_Celsius, degree_Kelvin, gramme, litre, metre, metre_sqrd, metres_per_second, metres_per_second_sqrd, Newton, Newton_per_sqr_metre, second, volt. * cd/dimensions1.ocd: created this CD with symbols; acceleration, area, charge, current, force, length, mass, pressure, speed, temperature, time, velocity, voltage, volume . 2000-08-04 W A Naylor * cd/arith1.ocd: alteration made to the description for the symbol root. 2000-08-03 W A Naylor * cd/arith1.ocd: converted lcm to least common multiple in description. Addition made to description of abs. 2000-08-02 W A Naylor * sts/polysts.sts: changed capitals in symbol names to lower case. * cd/polysts.ocd: changed capitals in symbol names to lower case. * sts/polyslp.sts: changed capitals in symbol names to lower case. * cd/polyslp.ocd: changed capitals in symbol names to lower case. * cd/polyr.ocd: changed capitals in symbol names to lower case. * cd/polyd.ocd: changed capitals in symbol names to lower case. * cd/poly.ocd: changed capitals in symbol names to lower case. * sts/permgrp.sts: changed capitals in symbol names to lower case. * cd/permgrp.ocd: changed capitals in symbol names to lower case. 2000-08-01 W A Naylor * sts/group1.sts: for all symbol names changed all capitals to lower case and if the symbol contained multiple words seperated by _ * cd/group1.ocd: for all symbol names changed all capitals to lower case and if the symbol contained multiple words seperated by _ Added FMPs/CMPs to most symbols. 2000-07-31 W A Naylor * cd/permut1.ocd: the FMP for permutation was corrected 2000-07-28 W A Naylor * cd/combinat1.ocd: added some (defining) FMP/CMPs. 2000-07-26 W A Naylor * sts/polyr.sts: monomial converted to term. * cd/polyr.ocd: monomial converted to term. * sts/polyd.sts: Term converted to term. * cd/polyd.ocd: Term converted to term. * sts/setname2.sts: mended signatures for GFp and GFpn. * sts/group1.sts: mended signature for SylowSubgroup. * sts/linalg1.sts: mended signatures for vector_selector and matrix_selector. * cd/setname2.ocd: ammended CMP for H. 2000-07-25 W A Naylor * cd/polysts.ocd: changed version/revision to 2/0, also added CDURL. * cd/polyslp.ocd: changed version/revision to 2/0, also mended CDURL. * cd/polyr.ocd: added valid CDURL. * cd/poly.ocd: added valid CDURL. * cd/polyd.ocd: added valid CDURL. * cd/opnode.ocd: changed version/revision to 2/0, also mended CDURL. * cd/setoid.ocd: changed version/revision to 2/0. * cd/semigroup.ocd: changed version/revision to 2/0. * cd/relation0.ocd: changed version/revision to 2/0. * cd/permut1.ocd: changed version/revision to 2/0. * cd/combinat1.ocd: changed version/revision to 2/0. * cd/set2.ocd: changed version/revision to 2/0. * cd/linalg2.ocd: this CD now contains symbols which are constructors using a row orientated viewpoint. * cd/linalg3.ocd: this CD now contains symbols which are constructors using a column orientated viewpoint. * cd/linalg4.ocd: ammended the CDUses element, this CD now contains just the symbols which represent operations to do with linear algebra, which are not in MathML. * cd/linalg5.ocd: ammended the CDUses element, also restricted the defined symbols, so that only matrix constructors are in this matrix. * sts/linalg5.sts: this now contains all the matrices with special structures. * sts/linalg1.sts (Author): mended the name * sts/linalg4.sts: this file now holds signatures for characteristic_eqn, columncount, eigenvalue, eigenvector, rank, rowcount and size. * sts/linalg3.sts (Author): this was changed to reflect the column oriented view of constructors. * sts/linalg2.sts (Author): The Signature for matrixrow had accidentally been called matrixcolumn, this was corrected. The signatures were made more specialised. * cdgroups/linalg.cdg: changed CDGroupName to linalg. * cdgroups/types1.cdg (http): changed .ocd to .cdg in CDGroupURL. * cdgroups/sets.cdg (http): changed version to 2. * cdgroups/polygrp.cdg (http): changed .ocd to .cdg in CDGroupURL. * cdgroups/group1.cdg (http): changed version/revision to 2/0. * cdgroups/combinat1.cdg: changed version/revision to 2/0. 2000-07-24 W A Naylor * sts/metagrp.sts: added signatures for the symbols CDGroupName, CDGroupVersion, CDGroupURL, CDGroupDescription, CDComment, CDGroupMember, CDName, CDVersion, CDURL, CDGroup. * sts/metasig.sts: added signatures for the symbols CDGroupName, CDGroupVersion, CDGroupURL, CDGroupDescription, CDComment, CDGroupMember, CDName, CDVersion, CDURL, CDGroup. * sts/meta.sts: added signatures for CDComment and CDDefinition. * cd/metagrp.ocd: added descriptions for the symbols CDGroupName, CDGroupVersion, CDGroupURL, CDGroupDescription, CDComment, CDGroupMember, CDName, CDVersion, CDURL, CDGroup. * cd/metasig.ocd: added descriptions to CDSignatures, CDSComment, CDSReviewDate, CDSStatus, Signature. Removed the entry for CDComment. * cd/meta.ocd: added symbols for CDComment and CDDefinition 2000-07-21 David Carlisle * run: re-arrange directory structure (and matching XSL) so links in html formated signature files work. * cd/multiset1.ocd (http): Update FMP (Bill Naylor) * cd/linalg1.ocd: Update FMP (Bill Naylor) * cd/linalg2.ocd: Update FMP (Bill Naylor) * delete obsolete cd and signature files: transc2 logic2 gcd1 * cd/group1.ocd: (Andrew Solomon) adding CharacterTableOfGroup * sts/group1.sts: (Andrew Solomon) adding CharacterTableOfGroup 2000-07-20 David Carlisle * cdfiles/cdgroups: Fix URLs and CD names in several files. * cd/icc.ocd: indNat -> indnat * cd/indnat.ocd: (From Olga) New CD * cd: Make canonical CDURL all at http://www.openmath.org/cd * cd/list1.ocd: Z in setname1 (in Example) * cd/setname2.ocd: H in setname2 (fix FMP) * cd: fixup CDUses entries in the following CD: arith1 arith2 calculus1 coercions complex1 fns1 fns2 linalg1 set1 sts typesorts complex1 list1 list2 minmax polyr relation1 semigroup veccalc transc1 setoid gcd1 multiset set2 s_dist s_data omtypes relation0 rounding1 setname1 poly * xsl/cdvalidate.xsl: CD checker. * cd/arith2.ocd: fix cd name in example:nums -> nums1 2000-07-14 David Carlisle * sts/polyd.sts: OMV/OMS typo * sts/polyr.sts: OMV/OMS typo * dtd/omcdsig.dtd: make OMOBJ optional (so skeleton signatures validate) * cd: (several) fixes to validate against omcd.dtd * cd/linalg4.ocd: minor typos fixes (make well formed) 2000-07-13 David Carlisle * xsl: add code for CDGroupRevision, and new relative path structure * cdgroups/types1.cdg: rename from types * cdgroups/mathml.cdg: s- to s_ * sts/s_dist1.sts: renamed from s-dist1 * sts/s_data1.sts: renamed from s-data1 * cd/s_dist1.ocd: renamed from s-dist1 * cd/s_data1.ocd: renamed from s-data1 * xsl: add version="1.0" to conform with final xsl REC. * sts/integer1.sts: missing name from factorof signature * sts: (several files) CDComment -> CDSComment * cd/calculus1.ocd: OMA -> OMBIND in lambda example * cd/mathmltypes.ocd: OMATR->OMATTR * cd/sts.ocd: minor fix to make valid xml. * dtd/cdgroup.dtd: add CDGroupRevision * dtd/omcd.dtd: add CDRevision 2000-07-03 W A Naylor * sts/s-dist1.sts: changed the signature to comply with the point below. * cd/s-dist1.ocd: added one argument to the symbol moment, this is for a point about where the moment is to be taken. * sts/s-data1.sts: changed the signature to comply with the point below. * cd/s-data1.ocd (editor): added one argument to the symbol moment, this is for a point about where the moment is to be taken. * cd/multiset1.ocd: added the symbol cartesian_product. * cd/set1.ocd: added the symbol cartesian_product. * sts/multiset1.sts: added signature for cartesian_product. * sts/set1.sts: added signature for cartesian_product. * sts/fns1.sts: added signatures for image, domain and range. Changed signatures of image, domain, range, inverse and left_compose, so that they mention Set's rather than just Objects. 2000-07-01 W A Naylor * cd/fns1.ocd: image and domain have been transfered from fns2. added a range symbol. 2000-06-29 W A Naylor * sts/calculus1.sts<: mended signature for defint 2000-06-08 W A Naylor * cd/linalg1.ocd: added FMP/CMPs for outerproduct, vectorproduct and scalar product. 2000-05-24 W A Naylor * cd/transc1.ocd: many mends done to FMPs 2000-05-23 W A Naylor * cd/set1.ocd: added FMP to notin, prsubset, notsubset, notprsubset * cd/relation1.ocd: added FMP for lt, gt, leq, neq, geq * cd/nums1.ocd: mended FMP for infinity (pi): mended FMP (gamma): mended FMP * cd/complex1.ocd: added CMP/FMP to complex_polar and argument * Many stylistic changes throughout the CDs 2000-05-20 W A Naylor * cd/transc1.ocd: mended FMP for arctan and arccosh * cd/setname1.ocd: mended FMP for Z * cd/fns1.ocd: mended FMP for inverse 2000-05-19 W A Naylor * cd/nums1.ocd: mended FMP for i * cd/complex1.ocd: mended FMP for argument * cd/logic1.ocd: mended FMP for not 2000-05-17 W A Naylor * cd/nums1.ocd: mended the FMP for gamma 2000-05-15 W A Naylor * cd/rounding1.ocd: simplified FMP for round * cd/set1.ocd: mended FMPs in map and suchthat * cd/arith1.ocd: mended FMP in arith1 * cd/logic1.ocd: mended FMP in logic1 and in false 2000-04-20 W A Naylor * sts/integer1.sts (Author): added the signature of factorof * cd/integer1.ocd: added the symbol factorof * sts/set1.sts (Author): added signatures for map and suchthat * cd/list1.ocd: added map and ammended suchthat * cd/set1.ocd: added map * sts/list1.sts (Author): added signatures for map and suchthat 2000-04-19 W A Naylor * cd/list1.ocd: added suchthat * cd/set1.ocd: added suchthat 2000-04-17 W A Naylor * sts/list1.sts (Author): make_list signature removed * sts/multiset1.sts (Author): added emptyset signature * sts/set1.sts (Author): added emptyset signature * cd/list1.ocd: the suchthat symbol has been added to enable the creation of lists, the make_list symbol has been removed. * cd/set1.ocd: the emptyset symbol has been added. 2000-04-14 W A Naylor * cd/linalg1.ocd: This now contains all the symbols which are independant on orientation, that is determinant, matrix_selector, outerproduct, scalarproduct, transpose, vector_selector and vectorproduct. * cd/linalg2.ocd: This now contains all the symbols which are dependant on orientation, that is matrix, matrixrow and vector. * sts/s-data1.sts (Author): mended signatures of sdev, variance and moment(?) * cd/transc1.ocd: minor changes to grammar * cd/arith1.ocd: changes to the wording in sum and product * cd/set1.ocd: size added from set2. * sts/set1.sts (Author): size added from set2. * sts/logic1.sts (Author): equivalent added from logic2. * cd/logic1.ocd: equivalent added from logic2. * sts/nums1.sts (Author): signatures for complex_cartesian, complex_polar, conjugate, imaginary and real removed. * sts/complex1.sts: signatures for conjugate, complex_cartesian, complex_polar, conjugate, imaginary, real and argument added. * sts/arith1.sts (Author): conjugate was removed. 2000-04-13 W A Naylor * cd/minmax1.ocd: min and max made unary, to take a set as argument * sts/minmax1.sts (Author): min and max made unary, to take a set as argument * sts/mathmltypes.sts: typmml renamed mathmltypes * cd/mathmltypes.ocd: typmml renamed mathmltypes * cd/integer1.ocd: rem renamed remainder * sts/integer1.sts (Author): rem renamed remainder 2000-04-03 W A Naylor * html/group-toc.html: added the error CD group. * sts/error.sts (Author): wrote signatures for unhandled_symbol, unexpected_symbol, and unsupported_CD. * cd/error.ocd: added this cd with symbols unhandled_symbol, unexpected_symbol, and unsupported_CD. * sts/sts.sts: added a signature for the error symbol. * cd/sts.ocd: added an error symbol. 2000-03-30 W A Naylor * cd/calculus1.ocd: added CMPs/FMPs to diff,int,defint, corrected example for defint. 2000-03-29 W A Naylor * sts/stats1.sts (Author): mended the signatures for variance and sdev. 2000-03-24 W A Naylor * cd/logic2.ocd: added FMP/CMP to equivalent. 2000-03-23 W A Naylor * cd/list2.ocd: added examples to first and rest. * cd/linalg2.ocd: added example to matriccolumn. * cd/linalg3.ocd: added example to diagonal_matrix, mended CMP/FMP for determinant. * cd/fns2.ocd: added CMP/FMPs to domain, image, kernel. 2000-03-22 W A Naylor * sts/setname1.sts: added the signature for the positive primes. * sts/setname2.sts: removed the signature for the positive primes. * cd/setname1.ocd: added the symbol for the positive primes. * cd/setname2.ocd: removed the symbol for the positive primes. 2000-03-21 W A Naylor * sts/group1.sts (Author): changed the string '' to '' throughout. * sts/logic2.sts (Author): changed the string '' to '' throughout. * sts/permgrp.sts (Author): changed the string '' to '' throughout. * sts/relation2.sts (Author): changed the string '' to '' throughout. * sts/set1.sts (Author): changed the string '' to '' throughout. * sts/setname2.sts: changed the symbol B to Boolean * cd/setname2.ocd: changed the symbol B to Boolean. * cd/relation1.ocd: moved approx from relation2 to here. * sts/relation1.sts: moved approx from relation2.sts to here. * sts/logic1.sts (Author): changed '' to '' * sts/multiset1.sts (Author): changed '' to '' * sts/relation1.sts (Author): changed '' to '' * sts/set1.sts (Author): changed '' to '' 2000-03-20 W A Naylor * cd/set2.ocd: added examples to size, added cd to cd group Sets. * sts/setname2.sts: added the signature for the B, added the signature for the quaternions. * cd/setname2.ocd: added the symbol B for Boolean, also CMP for Primes and CMP/FMPs for algebraic numbers, Zm. * sts/arith1.sts (Author): added signatures of gcd/lcm. * sts/integer1.sts (Author): removed signatures of gcd/lcm. * cd/integer1.ocd: moved gcd and lcm to arith1. * cd/arith1.ocd: lcm and gcd were moved to here. * sts/setname1.sts: removed signature for quaternions. * cd/setname1.ocd: removed the quaternions symbol (to setname2). changed '\le' to '<=' * sts/integer1.sts (Author): added the signature of lcm. * cd/integer1.ocd: added lcm. 2000-03-17 W A Naylor * sts/linalg1.sts (Author): changed the signatures for matrixrow, matrix and vector. To specify more accurately where the arguments should come from. * cd/set1.ocd: mended and changed the FMP for 'in'. * cd/multiset1.ocd (http): mended and changed the FMP for 'in'. * cd/linalg1.ocd: the description for matrixrow was altered to specify that the arguments must be from a Ring. 2000-03-16 W A Naylor * cd/linalg4.ocd: added the symbol tridiagonal * cd/linalg4.ocd: FMP/CMPs and Examples added to upper-Hessenberg and lower-Hessenberg 2000-03-15 W A Naylor * sts/linalg4.sts: The Signatures for banded, upper-Hessenberg, lower-Hessenberg, upper-triangular, lower-triangular were corrected. * cd/linalg3.ocd: corrected the example for matrix_selector * sts/linalg3.sts: signature for size and rank added * cd/linalg3.ocd: size symbol added * cd/linalg4.ocd: CMP/FMP added to symmetric, hermitian changed to Hermtian, anti-hermitian changed to anti-Hermitian, example added to banded, also the number of arguments changed. The symbol Hessenberg was changed to the two symbols upper-Hessenberg and lower-Hessenberg.The symbol triangular was changed to the two symbols upper-triangular and lower-triangular. CMP/FMPs added to upper-triangular, lower-triangular. 2000-03-14 W A Naylor * cd/veccalc1.ocd: created file, containing discriptions for: divergence, grad, curl and Laplacian. * sts/veccalc1.sts: created the signature file, including signatures for : divergence, grad, curl and Laplacian. * cd/linalg4.ocd: CD was created containing the symbols: anti-hermitian, banded, constant, hermitian, Hessenberg, scalar, skew-symmetric, symmetric, triangular. 2000-03-10 W A Naylor * cd/setname1.ocd: added FMP/CMP to H. * cd/multiset1.ocd (http): Added the CD which JHD wrote. The name was changed from multiset to multiset1. 2000-03-09 W A Naylor * sts/transc1.sts (Author): transfered the signatures from transc2 to transc1 for the transferred inverse symbols, viz. arccosh, arccot, arccoth, arccsc, arccsch, arcsec, arcsech, arcsinh, arctanh. < 2000-03-08 W A Naylor * cd/transc1.ocd: CMP/FMPs were added to the inverse transcendental functions: arccos, arccosh, arccot, arccoth, arccsc, arccsch, arcsec, arcsech, arcsin, arcsinh, arctan, arctanh to specify the relations with ln. 2000-03-07 W A Naylor * cd/setname1.ocd (n): added CMP/FMP to R, Example to H and moved CMP/FMP from R to Q (with slight alteration) * cd/arith1.ocd: updated power and root, as suggested in 'According to Abramowitz and Stegun or why arccoth is uncouth' JHD and RMC 2000-03-06 W A Naylor * cd/transc1.ocd: added defining (in terms of exps and i) CMP, FMPs for sin and cos * sts/transc1.sts (Author): signatures for arccosh, arccot, arccoth, arccsc, arccsch, arcsec, arcsech, arcsinh, arctanh transferred from transc2. * cd/transc1.ocd: added CMP/FMPs to the symbols arccosh, arccot, arccoth, arccsc, arccsch, arcsec, arcsech, arcsinh, arctanh 2000-03-03 W A Naylor * cd/transc1.ocd: The symbols arccosh, arccot, arccoth, arccsc, arccsch, arcsec, arcsech, arcsinh, arctanh were added, and transc2 deleted. 2000-03-01 W A Naylor * cd/icc.ocd: removed *.* * cd/sigma.ocd: added CDVersion 0 / CDRevision 0 * cd/lc.ocd: changed *.* to CDVersion / CDRevision * cd/polysts.ocd: changed *.* to CDVersion / CDRevision * cd/polyr.ocd: changed *.* to CDVersion / CDRevision * cd/polyd.ocd: changed *.* to CDVersion / CDRevision * cd/poly.ocd: changed *.* to CDVersion / CDRevision * cd/opnode.ocd: changed *.* to CDVersion / CDRevision 2000-02-29 W A Naylor * cd/rounding.ocd: changed 0.0 to CDVersion / CDRevision * cd/typmml.ocd: changed 0.0 to CDVersion / CDRevision * cd/transc1.ocd: changed 0.0 to CDVersion / CDRevision * cd/stats1.ocd: changed 0.0 to CDVersion / CDRevision * cd/set1.ocd: changed 0.0 to CDVersion / CDRevision * cd/relation1.ocd: changed 0.0 to CDVersion / CDRevision * cd/quant1.ocd: changed 0.0 to CDVersion / CDRevision * cd/minmax.ocd: changed 0.0 to CDVersion / CDRevision * cd/logic1.ocd: changed 0.0 to CDVersion / CDRevision * cd/limit.ocd: changed 0.0 to CDVersion / CDRevision * cd/linalg3.ocd: changed 0.0 to CDVersion / CDRevision * cd/linalg1.ocd: changed 0.0 to CDVersion / CDRevision * cd/interval.ocd: changed 0.0 to CDVersion / CDRevision * cd/integer.ocd: changed 0.0 to CDVersion / CDRevision * cd/fns1.ocd: changed 0.0 to CDVersion / CDRevision * cd/bigfloat.ocd: changed 0.0 to CDVersion / CDRevision * cd/linalg3.ocd: added columncount and rowcount symbols example for zero made binary. * cd/polyslp.ocd: fixed some typos, changed 0.0 to CDVersion / CDRevision. 2000-02-02 W.A.Naylor * cd/setname2.ocd: Split setname into setname1 and setname2, setname2 contains A, GFp, GFpn, P, QuotientField, Zm. 2000-01-28 W.A.Naylor * cd/arith1.ocd: Updated to add text to the examples of product and sum, also adding FMPs to times, power, conjugate and abs. * cd/bigfloat1: description of arguments was added to symbol descriptions, also the order of arguments in the FMP was altered to correspond to the CMP. * cd/calculus1: Text added to the examples for diff and defint, example for partial_diff and int modified. * cd/fns1: Changes made to alter CMP for inverse, adding the relevant FMP. * cd/integer1: Changes made to add CMPs and FMPs to gcd,factorial, quotient and rem, also gcd made n-ary. * cd/linalg1: Text added to examples and an example to matrixrow. * cd/linalg3: Changes made to add the symbols, identity, zero and diagonal_matrix. Added example to transpose and FMP to determinant. Added the symbols rowcount and columncount. * cd/logic1: The example for or was changed to a CMP,FMP. CMPs and corresponding FMPs were added to and, implies, not and xor. * cd/minmax1: An example was added to min and the Example for max altered. * cd/nums1: The Description was changed for based_integer, examples were added to based_integer,rational, complex_polar, e, pi, gamma, an FMP, CMP was added to i. * cd/setname1: Revised by W.A. Naylor, splitting setname into setname1 and setname2 on 2000-02-01. This CD now contains C, H, N, Q, R and Z. * cd/set1: The incorrect example with notprsubset was removed. FMPs, CMPs were added to in, intersect, setdiff, subset, union. Examples were added to notin, notprsubset, notsubset, prsubset. * cd/transc1: FMPs, CMPs were added to arccos, arcsin, arctan, cos, cosh, cot, coth, csc, csch, exp, ln, log, sec, sech, sin, sinh, tan, tanh. 1999-11-26 David Carlisle * cd/meta.ocd: CDRevision * cd/sts.ocd: add structure element * sts/setname.sts: new version with Zm and structure (James Davenport) * cd/setname.ocd: new version with Zm (James Davenport) * sts/arith1.sts: fix abs signature (OMS not OMV) (from Olga) * xsl/cd.xsl: handle CDRevision * split CDVersion into CDVersion and CDRevision in all CDs. 1999-11-17 David Carlisle * cd/logic1.ocd: fix FMP for not * cd/fns2.ocd: fix example of make_list 1999-10-29 David Carlisle * cdgroups/core.cdg: Add rounding CD * sts/rounding.sts: New version (James Davenport) * cd/rounding.ocd: New version (James Davenport) * cdgroups/types.cdg: add coercions.ocd and sigma.ocd * New coercions CD (part of ECC support, from Olga) * update ECC files from Olga. 1999-10-19 David Carlisle * html/intro.html: Document and link to CSS stylesheet. * Change ReviewDate on all CDs from 1999-09-01 to 2000-09-01 * cd/rounding.ocd: new CD added (used by bigfloat CD) 1999-10-14 David Carlisle * New CDs and ECC files from Olga 1999-10-12 David Carlisle * Update all XSL to match XSLT and xpath PR (new namespace, rename some functions) 1999-09-03 David Carlisle * xsl/cd.xsl: Modified layout (XSL by Olga Caprotti). * Update XSL to use new (August) method of specifying HTML 1999-09-02 David Carlisle * xsl/cd.xsl: Canonical (spelling correction from Olga) 1999-08-02 David Carlisle * cd/alg1.ocd: Correct FMP for zero (Matthias Berth ) 1999-07-26 David Carlisle * xsl/sts2om.xsl: July 9th syntax * xsl/sts.xsl: July 9th syntax * xsl/index.xsl: July 9th syntax * xsl/ecc.xsl: July 9th syntax * xsl/cd2om.xsl: July 9th syntax * xsl/cd.xsl: July 9th syntax 1999-07-21 David Carlisle * sts/bigfloat.sts: add bigfloatprec * cd/bigfloat.ocd: new version with bigfloatprec (James Davenport) * moved to www.nag public site 1999-07-20 David Carlisle * xsl/cd.xsl: Make link to ECC signature file conditional on there being an ECC file in the current collection. * cdgroups/core.cdg: delete altenc and typmml from core CDGroup (still in MathML CDGroup) * Fix all CDURL to `public' site address. * cdgroups/mathml.cdg: new CD. * cdgroups/core.cdg: new CD. * sts/bigfloat.sts: new CD. * cd/bigfloat.ocd: Add James Davenport's CD, as discussed on om list. 1999-07-19 David Carlisle * index.html: fix links in noframes section 1999-07-15 David Carlisle * cd: Documentation changes only. arith1, alg1, interval, linalg1, linalg2, linalg3, list2, logic1 1999-07-13 David Carlisle * cd/calculus1.ocd: fix example (David Malone) * cd/limit.ocd: fix description of null 1999-07-02 David Carlisle * html/group-toc.html: move index before list of groups. * sts/nums.sts: missing signature for e added. 1999-07-01 David Carlisle * sts/logic1.sts: Correct implies (from V Harvey). * cd/list1.ocd: improve descriptions (from V Harvey). * cd/integer.ocd: improve descriptions (from V Harvey). * cd/calculus1.ocd: correct examples (from V Harvey). * cd/fns2.ocd: Improved descriptions (From J Davenport). * cd/fns1.ocd: Improved descriptions (From J Davenport). 1999-06-24 David Carlisle * xsl/cd.xsl: Make CDUses produce list of links to other CD * Added CDUses entries to all CDs. 1999-06-22 David Carlisle * Fixed CD names in all examples and FMP * Modify XSL to not print CDname for symbols, instead make a link to appropriate definition, and just display symbol name. * Modify XSL to cope with new sts signatures using OMS. * New sts from James Davenport: interval group1 integer arith1 list1 list2 nums * add setname to core cd group * New FMP in set1.ocd from James Davenport * New setname CD from James Davenport * version 1.0[ab] -> 1.0[12] 1999-06-21 David Carlisle * CDComment changed to CDSComment in sig files. * omcd.dtd: Name forced to be first child of CDDefinition * Presentation and Signature elements deleted from meta cd and dtd. * signature -> Signature in signature files * index.html: added changeLog 1999-06-21 David Carlisle * cd/fns2: make-list in list CD 1999-03-28 David Carlisle * cd/typmml.ocd description modified. 1999-03-26 David Carlisle * cd/arith1.ocd addded unary_minus 1999-05-10 David Carlisle * Modify descriptions in fns1, calculus1, integer, interval * cd/linalg3.ocd change name select to selector to match MathML 1.01, Change usage of selector to always take two arguments. * cd/stats1.ocd change name var to variance to match MathML 1.01. 1999-05-04 David Carlisle * cd/list1.ocd: make_list in list1 CD * cd/linalg1.ocd move make_list to list CD. 1999-04-13 David Carlisle * First draft sts files for Core CDs. * cd/nums.ocd: minor fixes 1999-03-26 David Carlisle * cd/arith1.ocd addded sum and product 1999-02-18 Richard Timoney * cd/list1.ocd: Moved make_list here from list2. Removed comments in description of list about OMBIND and OMBVAR. * cd/linalg1.ocd: Removed elements construct * cd/linalg2.ocd: Removed elements construct 1999-02-13 Richard Timoney * cd/minmax.ocd: Removed idea that min and max could be applied to sets. * cd/limit.ocd: Removed tendsto, added null symbol. Note the equivalence to MathML tendsto in the exampl * cd/nums.ocd: The symbols true and false are moved to the logic cd. * cd/stats1.ocd: Removed statement that mean, var and sdev can be used on random variables. Would need a way to represent random variables sensibly. Removed reference to nonexistant elements construct. Rephrased and corrected descriptions. Standard deviation and variance now defined correctly for sample data, whereas previous definition was corect for a list of equiprobable values of a random variable. Original based on MathML, which refers for sdev to CRC Standard Mathematical Tables and Formulae, editor: Dan Zwillinger, CRC Press Inc., 1996, [7.1.2] and [7.7]. * cd/fns2: Renamed range as domain. Renamed apply-nary-fn-to-constructed-elements to apply_to_list, and moved part of its function to make-list in cd = list. * Modified to fix errors and omissions: fns1, fns2, calculus1, integer, list1, list2, arith1, arith2, interval, linalg1, linalg2, linalg3, logic1, logic2, quant1, relation1, relation2, set1, set2, transc1, transc2, typmml, altenc 1998-07-15 N. Howgrave-Graham * First Draft of all of the Core set of CDs. alg, altenc, arith, arith2, calculus, fns, fns2, integer, interval, la2, la_mml, limit, linalg, list, list2, logic, logic2, meta, minmax, nums, quant, rel2, relation, set, set2, stats, transc, transc2, types, typ_mml