# A2. RGL tickets for the MGL

### #2: ! with imperative (completed)

Imperative mode forces "!" at the end?

Not what we want for exercises.

Test> l DoComputeF DefineV (Var2Fun f)

define f !

### #21: x {hoch,gleigh} y (completed)

We want to express:

"x gleich y"

or

"x hoch y"

It doesn't exist

### #40: gilt/holds -- gilt nicht/does not hold (open)

Example

for all z , r , it isn't true that r and if p , then , it isn't true that r

für alle z, r , ist es nicht wahr daß r und wenn p dann ist es nicht wahr daß r

I think it would be better to write "gilt", "gilt nicht" (english "holds", "it does not hold") instead of "es ist nicht wahr", "es ist wahr", "it is true", "it isn't true":

for all z , r , r does not hold and if p , then , r does not hold

für alle z, r , r gilt nicht und wenn p dann r gilt nicht

### #54: there is/exists (46) (wont-fix)

#### Abstract

`exist (BaseVarNum x) (Var2Set C) (mkProp (divides (Var2Num y) (Var2Num x)))`

#### Difference

there {is → exists} x in C such that y divides x

### #56: set of values of the form ... (69) (completed)

#### Abstract

`map y (factorial (Var2Num x)) (suchthat (Var2Set A) x r)`

#### Difference

the set of values of the form {the →} factorial of x {such that → for} y {is → ranging} in{→ the set of elements}x {in → of} A such that r

### #62: set whose elements (115) (wont-fix)

#### Abstract

`set (BaseValNum (Var2Num y) (Var2Num z))`

#### Difference

the set {of components → whose elements are} y and z

### #67: hay → existe , divida (wont-fix)

l exist (BaseVarNum x) (Var2Set C) (mkProp (divides (Var2Num y) (Var2Num x)))

hay x en C tal que y divida a x

hay→existe

divida → divide

### #74: part_Prep before vowel in Cat (assigned)

el conjunt amb element únic el cub de pi

DefNPwithbaseElem : CN → MathObj → MathObj =

\cn,o → DefSgNP (mkCN cn (prepAdv with_Prep (mkNP (mkCN (mkCN (mkA "únic") element_CN) o)))) ;

Problema:

No puc escriure "d'element únic" perquè si canvio el with_Prep per un possess_Prep o un part_Prep (of) , omet la preposició! Perquè?

### #78: de a y b, no de a y de b (25) (wont-fix)

#### Abstract

`cartesian_product (BaseValSet (Var2Set A) (Var2Set B))`

#### Difference

el producto cartesiano de A y {de →} B

### #88: Imaginärteil (58) (completed)

#### Abstract

`imaginary (Var2Num y)`

#### Difference

der {imaginäre Teil → Imaginärteil} von y

### #90: kleinstes gemeinsames Vielfaches (63) (wont-fix)

#### Abstract

`lcm (BaseValNum (Var2Num y) (Var2Num z))`

#### Difference

das {am wenigstene gemeine → kleinstes gemeinsames} Vielfaches von y und z

### #96: dem reele Teil (109) (completed)

#### Abstract

`root2 (real (Var2Num x))`

#### Difference

die quadratische Wurzel von dem {reellen → reele} Teil von x

### #99: and_Conj "y" in spanish does not include the case "e" (wont-fix)

Problem: and_Conj in spanish does not include the case "e", for example for "x e y". It should be

`and_Conj = {s1 = [] ; s2 = etConj.s ; n = Pl} ;`

For the moment, we have created a new

`myAnd_Conj=and_Conj; `
at MathI.gf and redefined it as
`and_Conj = {s1 = [] ; s2 = etConj.s ; n = Pl} ;`
at MathSpa.gf

This should be fixed at StructuralSpa.gf