removed unicode keywords, added tests

Author: pzinn

M2/Macaulay2/d/binding.d

@@ -285,12 +285,8 @@ bumpPrecedence();
      export MinusS := makeKeyword(unarybinaryleft("-"));	    -- also binary
      export PlusS := makeKeyword(unarybinaryleft("+"));	    -- also binary
      export PlusPlusS := makeKeyword(binaryleft("++"));
-bumpPrecedence();
-     export InterpunctS := makeKeyword(binaryleft("·"));
 bumpPrecedence();
      export StarStarS := makeKeyword(binaryleft("**"));
-     export BoxTimesS := makeKeyword(binaryleft("⊠"));
-     export ShuffleProductS := makeKeyword(binaryleft("⧢"));
 bumpPrecedence();
      precBracket := prec;
      export leftbracket := parens("[","]",precBracket, precRightParen, precRightParen);
@@ -515,10 +511,7 @@ export opsWithBinaryMethod := array(SymbolClosure)(
      PowerGreaterEqualS,   UnderscoreGreaterEqualS,
      PowerLessS,           UnderscoreLessS,
      PowerLessEqualS,      UnderscoreLessEqualS,
-     PowerStarStarS,
-     InterpunctS,
-     BoxTimesS,
-     ShuffleProductS
+     PowerStarStarS
      );
 export opsWithUnaryMethod := array(SymbolClosure)(
      StarS, MinusS, PlusS, LessLessS, QuestionQuestionS,

M2/Macaulay2/m2/exports.m2

@@ -57,9 +57,6 @@ export {
 	"_>=",
 	"_<",
 	"_<=",
-	"·",
-	"⊠",
-	"⧢",
 	"Acknowledgement",
 	"AdditionalPaths",
 	"Adjacent",

M2/Macaulay2/m2/latex.m2

@@ -127,7 +127,7 @@ keywordTexMath = applyKeys(hashTable { -- both unary and binary keywords
 	symbol ^** => "{}^{\\otimes}", -- temporary solution to KaTeX issue https://github.com/KaTeX/KaTeX/issues/3576
 	symbol _*  => "{}_*", -- temporary solution to KaTeX issue https://github.com/KaTeX/KaTeX/issues/3576
 	symbol ^*  => "{}^*", -- temporary solution to KaTeX issue https://github.com/KaTeX/KaTeX/issues/3576
-	symbol ·   => "\\cdot",
+--	symbol ·   => "\\cdot",
 	},symbolBody)
 
 bbLetters := set characters "kABCDEFGHIJKLMNOPQRSTUVWXYZ"

M2/Macaulay2/tests/normal/symbols.m2

@@ -2,4 +2,5 @@ assert (i -> symbol i === symbol i)()
 assert( (i -> symbol i)() =!= (i -> symbol i)() )
 assert( symbolBody (i -> symbol i)() =!= symbolBody (i -> symbol i)() )
 assert( f = i -> symbol i ; symbolBody f() === symbolBody f() )
-
+assert( try getSymbol "" then false else true )
+assert( try getSymbol "++" then false else true )

M2/Macaulay2/tests/normal/unicode.m2

@@ -2,6 +2,7 @@ v = vector {1, 2}
 w = vector {3, 4}
 assert(v⊗w == vector {3, 4, 6, 8})
 
+makeKeyword("·")
 Vector·Vector := (v, w) -> ((transpose v#0) * w#0)_(0, 0)
 assert(v·w == 11)