#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"

#38: Ger mkAdA (wont-fix)

mkAdA : Str → AdA

It doesn't exist

#39: Spa from_Prep must be "desde" (wont-fix)

#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

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

Abstract

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

Difference

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

Abstract

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

Difference

#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

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

Abstract

imaginary (Var2Num y)

Difference

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

Abstract

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

Difference

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

Abstract

root2 (real (Var2Num x))

Difference

#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; 

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

This should be fixed at StructuralSpa.gf