OpenMath Content Dictionary: arith3

Canonical URL:

http://www.openmath.org/cd/arith3.ocd

CD Base:

http://www.openmath.org/cd

CD File:

arith3.ocd

CD as XML Encoded OpenMath:

arith3.omcd

Defines:

extended_gcd

Date:

2004-06-01

Version:

1 (Revision 2)

Review Date:

2006-06-01

Status:

experimental

Uses CD:

arith3

Extended GCD

extended_gcd

Description:

The symbol represents the n-ary function, a_1,...,a_n to return a list consisting of the gcd (greatest common divisor) of its arguments, together with n elements x_1,...,x_n such that gcd(a_1,...,a_n)=x_1 a_1+...+x_n a_n

Example:

OpenMath XML (source)

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
<OMA><OMS name="extended_gcd" cd="arith3"/>
     <OMA><OMS cd="arith3" name="extended_gcd"/>
          <OMI> 6 </OMI>
          <OMI> 10 </OMI>
          <OMI> 15 </OMI>
     </OMA>
     <OMA><OMS name="list" cd="list1"/> 
          <OMI>1</OMI>
          <OMI>1</OMI>
          <OMI>-2</OMI>
          <OMI>1</OMI>
     </OMA>
</OMA>
</OMOBJ>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <apply><csymbol cd="arith3">extended_gcd</csymbol>
  <apply><csymbol cd="arith3">extended_gcd</csymbol><cn>6</cn><cn>10</cn><cn>15</cn></apply>
  <apply><csymbol cd="list1">list</csymbol>
   <cn>1</cn>
   <cn>1</cn>
   <cn>-2</cn>
   <cn>1</cn>
  </apply>
 </apply>
</math>

Prefix

extended_gcd (extended_gcd ( 6 , 10 , 15 ) , list (1, 1, -2, 1) )

Popcorn

arith3.extended_gcd(arith3.extended_gcd(6, 10, 15), [1 , 1 , -2 , 1])

Rendered Presentation MathML

$$\mathrm{extended\_gcd}(\mathrm{extended\_gcd}(6,10,15),(1,1,-2,1))$$

Signatures:

sts