PageRenderTime 50ms CodeModel.GetById 23ms RepoModel.GetById 0ms app.codeStats 0ms

/matheclipse-core/src/main/java/org/matheclipse/core/eval/interfaces/AbstractArgMultiple.java

http://symja.googlecode.com/
Java | 261 lines | 196 code | 31 blank | 34 comment | 85 complexity | 6bddc3d2d7f84272607ba7c8402b780e MD5 | raw file
Possible License(s): Apache-2.0, LGPL-2.1, GPL-2.0 
    

  1. package org.matheclipse.core.eval.interfaces;

    2. 

  2. 

    3. 

  3. import org.matheclipse.core.expression.F;

    4. 

  4. import org.matheclipse.core.interfaces.IAST;

    5. 

  5. import org.matheclipse.core.interfaces.IComplex;

    6. 

  6. import org.matheclipse.core.interfaces.IComplexNum;

    7. 

  7. import org.matheclipse.core.interfaces.IExpr;

    8. 

  8. import org.matheclipse.core.interfaces.IFraction;

    9. 

  9. import org.matheclipse.core.interfaces.IInteger;

    10. 

  10. import org.matheclipse.core.interfaces.INum;

    11. 

  11. import org.matheclipse.core.interfaces.ISymbol;

    12. 

  12. import org.matheclipse.core.patternmatching.HashedOrderlessMatcher;

    13. 

  13. import org.matheclipse.parser.client.SyntaxError;

    14. 

  14. 

    15. 

  15. /**

    16. 

  16.  *

    17. 

  17.  */

    18. 

  18. public abstract class AbstractArgMultiple extends AbstractArg2 {

    19. 

  19. 

    20. 

  20. 	@Override

    21. 

  21. 	public IExpr evaluate(final IAST ast) {

    22. 

  22. 		if (ast.size() > 2) {

    23. 

  23. 			IAST temp = evaluateHashs(ast);

    24. 

  24. 			if (temp != null) {

    25. 

  25. 				return temp;

    26. 

  26. 			}

    27. 

  27. 		}

    28. 

  28. 		if (ast.size() == 3) {

    29. 

  29. 			return binaryOperator(ast.get(1), ast.get(2));

    30. 

  30. 		}

    31. 

  31. 

    32. 

  32. 		if (ast.size() > 3) {

    33. 

  33. 			final ISymbol sym = ast.topHead();

    34. 

  34. 			final IAST result = F.function(sym);

    35. 

  35. 			IExpr tres;

    36. 

  36. 			IExpr temp = ast.get(1);

    37. 

  37. 			boolean evaled = false;

    38. 

  38. 			int i = 2;

    39. 

  39. 

    40. 

  40. 			while (i < ast.size()) {

    41. 

  41. 

    42. 

  42. 				tres = binaryOperator(temp, ast.get(i));

    43. 

  43. 

    44. 

  44. 				if (tres == null) {

    45. 

  45. 

    46. 

  46. 					for (int j = i + 1; j < ast.size(); j++) {

    47. 

  47. 						tres = binaryOperator(temp, ast.get(j));

    48. 

  48. 

    49. 

  49. 						if (tres != null) {

    50. 

  50. 							evaled = true;

    51. 

  51. 							temp = tres;

    52. 

  52. 

    53. 

  53. 							ast.remove(j);

    54. 

  54. 

    55. 

  55. 							break;

    56. 

  56. 						}

    57. 

  57. 					}

    58. 

  58. 

    59. 

  59. 					if (tres == null) {

    60. 

  60. 						result.add(temp);

    61. 

  61. 						if (i == ast.size() - 1) {

    62. 

  62. 							result.add(ast.get(i));

    63. 

  63. 						} else {

    64. 

  64. 							temp = ast.get(i);

    65. 

  65. 						}

    66. 

  66. 						i++;

    67. 

  67. 					}

    68. 

  68. 

    69. 

  69. 				} else {

    70. 

  70. 					evaled = true;

    71. 

  71. 					temp = tres;

    72. 

  72. 

    73. 

  73. 					if (i == (ast.size() - 1)) {

    74. 

  74. 						result.add(temp);

    75. 

  75. 					}

    76. 

  76. 

    77. 

  77. 					i++;

    78. 

  78. 				}

    79. 

  79. 			}

    80. 

  80. 

    81. 

  81. 			if (evaled) {

    82. 

  82. 

    83. 

  83. 				if ((result.size() == 2) && ((sym.getAttributes() & ISymbol.ONEIDENTITY) == ISymbol.ONEIDENTITY)) {

    84. 

  84. 					return result.get(1);

    85. 

  85. 				}

    86. 

  86. 

    87. 

  87. 				return result;

    88. 

  88. 			}

    89. 

  89. 		}

    90. 

  90. 

    91. 

  91. 		return null;

    92. 

  92. 	}

    93. 

  93. 

    94. 

  94. 	public HashedOrderlessMatcher getHashRuleMap() {

    95. 

  95. 		return null;

    96. 

  96. 	}

    97. 

  97. 

    98. 

  98. 	public IAST evaluateHashs(final IAST ast) {

    99. 

  99. 		HashedOrderlessMatcher hashRuleMap = getHashRuleMap();

    100. 

  100. 		if (hashRuleMap == null) {

    101. 

  101. 			return null;

    102. 

  102. 		}

    103. 

  103. 		return hashRuleMap.evaluate(ast);

    104. 

  104. 	}

    105. 

  105. 

    106. 

  106. 	/**

    107. 

  107. 	 * @param lhs1

    108. 

  108. 	 * @param lhs2

    109. 

  109. 	 * @param rhs

    110. 

  110. 	 * @param condition

    111. 

  111. 	 * @see org.matheclipse.core.patternmatching.HashedOrderlessMatcher#setUpHashRule(org.matheclipse.core.interfaces.IExpr,

    112. 

  112. 	 *      org.matheclipse.core.interfaces.IExpr,

    113. 

  113. 	 *      org.matheclipse.core.interfaces.IExpr,

    114. 

  114. 	 *      org.matheclipse.core.interfaces.IExpr)

    115. 

  115. 	 */

    116. 

  116. 	public void setUpHashRule(IExpr lhs1, IExpr lhs2, IExpr rhs, IExpr condition) {

    117. 

  117. 		getHashRuleMap().setUpHashRule(lhs1, lhs2, rhs, condition);

    118. 

  118. 	}

    119. 

  119. 

    120. 

  120. 	/**

    121. 

  121. 	 * @param lhs1Str

    122. 

  122. 	 * @param lhs2Str

    123. 

  123. 	 * @param rhsStr

    124. 

  124. 	 * @param conditionStr

    125. 

  125. 	 * @throws SyntaxError

    126. 

  126. 	 * @see org.matheclipse.core.patternmatching.HashedOrderlessMatcher#setUpHashRule(java.lang.String,

    127. 

  127. 	 *      java.lang.String, java.lang.String, java.lang.String)

    128. 

  128. 	 */

    129. 

  129. 	public void setUpHashRule(String lhs1Str, String lhs2Str, String rhsStr, String conditionStr) throws SyntaxError {

    130. 

  130. 		getHashRuleMap().setUpHashRule(lhs1Str, lhs2Str, rhsStr, conditionStr);

    131. 

  131. 	}

    132. 

  132. 

    133. 

  133. 	/**

    134. 

  134. 	 * @param lhs1Str

    135. 

  135. 	 * @param lhs2Str

    136. 

  136. 	 * @param rhsStr

    137. 

  137. 	 * @throws SyntaxError

    138. 

  138. 	 * @see org.matheclipse.core.patternmatching.HashedOrderlessMatcher#setUpHashRule(java.lang.String,

    139. 

  139. 	 *      java.lang.String, java.lang.String)

    140. 

  140. 	 */

    141. 

  141. 	public void setUpHashRule(String lhs1Str, String lhs2Str, String rhsStr) throws SyntaxError {

    142. 

  142. 		getHashRuleMap().setUpHashRule(lhs1Str, lhs2Str, rhsStr);

    143. 

  143. 	}

    144. 

  144. 

    145. 

  145. 	@Override

    146. 

  146. 	public IExpr binaryOperator(final IExpr o0, final IExpr o1) {

    147. 

  147. 		IExpr result = null;

    148. 

  148. 		if (o0 instanceof INum) {

    149. 

  149. 			// use specialized methods for numeric mode

    150. 

  150. 			if (o1 instanceof INum) {

    151. 

  151. 				result = e2DblArg((INum) o0, (INum) o1);

    152. 

  152. 			} else if (o1.isInteger()) {

    153. 

  153. 				result = e2DblArg((INum) o0, F.num((IInteger) o1));

    154. 

  154. 			} else if (o1.isFraction()) {

    155. 

  155. 				result = e2DblArg((INum) o0, F.num((IFraction) o1));

    156. 

  156. 			} else if (o1 instanceof IComplexNum) {

    157. 

  157. 				result = e2DblComArg(F.complexNum(((INum) o0).getRealPart()), (IComplexNum) o1);

    158. 

  158. 			}

    159. 

  159. 			if (result != null) {

    160. 

  160. 				return result;

    161. 

  161. 			}

    162. 

  162. 			return e2ObjArg(o0, o1);

    163. 

  163. 		} else if (o1 instanceof INum) {

    164. 

  164. 			// use specialized methods for numeric mode

    165. 

  165. 			if (o0.isInteger()) {

    166. 

  166. 				result = e2DblArg(F.num((IInteger) o0), (INum) o1);

    167. 

  167. 			} else if (o0.isFraction()) {

    168. 

  168. 				result = e2DblArg(F.num((IFraction) o0), (INum) o1);

    169. 

  169. 			} else if (o0 instanceof IComplexNum) {

    170. 

  170. 				result = e2DblComArg((IComplexNum) o0, F.complexNum(((INum) o1).getRealPart()));

    171. 

  171. 			}

    172. 

  172. 			if (result != null) {

    173. 

  173. 				return result;

    174. 

  174. 			}

    175. 

  175. 			return e2ObjArg(o0, o1);

    176. 

  176. 		}

    177. 

  177. 

    178. 

  178. 		if (o0 instanceof IComplexNum) {

    179. 

  179. 			// use specialized methods for complex numeric mode

    180. 

  180. 			if (o1 instanceof INum) {

    181. 

  181. 				result = e2DblComArg((IComplexNum) o0, F.complexNum(((INum) o1).getRealPart()));

    182. 

  182. 			} else if (o1.isInteger()) {

    183. 

  183. 				result = e2DblComArg((IComplexNum) o0, F.complexNum((IInteger) o1));

    184. 

  184. 			} else if (o1.isFraction()) {

    185. 

  185. 				result = e2DblComArg((IComplexNum) o0, F.complexNum((IFraction) o1));

    186. 

  186. 			} else if (o1 instanceof IComplexNum) {

    187. 

  187. 				result = e2DblComArg((IComplexNum) o0, (IComplexNum) o1);

    188. 

  188. 			}

    189. 

  189. 			if (result != null) {

    190. 

  190. 				return result;

    191. 

  191. 			}

    192. 

  192. 			return e2ObjArg(o0, o1);

    193. 

  193. 		} else if (o1 instanceof IComplexNum) {

    194. 

  194. 			// use specialized methods for complex numeric mode

    195. 

  195. 			if (o0 instanceof INum) {

    196. 

  196. 				result = e2DblComArg(F.complexNum(((INum) o0).getRealPart()), (IComplexNum) o1);

    197. 

  197. 			} else if (o0.isInteger()) {

    198. 

  198. 				result = e2DblComArg(F.complexNum((IInteger) o0), (IComplexNum) o1);

    199. 

  199. 			} else if (o0.isFraction()) {

    200. 

  200. 				result = e2DblComArg(F.complexNum((IFraction) o0), (IComplexNum) o1);

    201. 

  201. 			}

    202. 

  202. 			if (result != null) {

    203. 

  203. 				return result;

    204. 

  204. 			}

    205. 

  205. 			return e2ObjArg(o0, o1);

    206. 

  206. 		}

    207. 

  207. 

    208. 

  208. 		if (o0 instanceof IInteger) {

    209. 

  209. 			if (o1 instanceof IInteger) {

    210. 

  210. 				return e2IntArg((IInteger) o0, (IInteger) o1);

    211. 

  211. 			}

    212. 

  212. 			if (o1 instanceof IFraction) {

    213. 

  213. 				return e2FraArg(F.fraction((IInteger) o0, F.C1), (IFraction) o1);

    214. 

  214. 			}

    215. 

  215. 			if (o1 instanceof IComplex) {

    216. 

  216. 				return e2ComArg(F.complex((IInteger) o0, F.C0), (IComplex) o1);

    217. 

  217. 			}

    218. 

  218. 		} else if (o0 instanceof IFraction) {

    219. 

  219. 			if (o1 instanceof IInteger) {

    220. 

  220. 				return e2FraArg((IFraction) o0, F.fraction((IInteger) o1, F.C1));

    221. 

  221. 			}

    222. 

  222. 			if (o1 instanceof IFraction) {

    223. 

  223. 				return e2FraArg((IFraction) o0, (IFraction) o1);

    224. 

  224. 			}

    225. 

  225. 			if (o1 instanceof IComplex) {

    226. 

  226. 				return e2ComArg(F.complex((IFraction) o0), (IComplex) o1);

    227. 

  227. 			}

    228. 

  228. 		} else if (o0 instanceof IComplex) {

    229. 

  229. 			if (o1 instanceof IInteger) {

    230. 

  230. 				return eComIntArg((IComplex) o0, (IInteger) o1);

    231. 

  231. 			}

    232. 

  232. 			if (o1 instanceof IComplex) {

    233. 

  233. 				return e2ComArg((IComplex) o0, (IComplex) o1);

    234. 

  234. 			}

    235. 

  235. 		}

    236. 

  236. 		result = e2ObjArg(o0, o1);

    237. 

  237. 		if (result != null) {

    238. 

  238. 			return result;

    239. 

  239. 		}

    240. 

  240. 

    241. 

  241. 		if (o0 instanceof ISymbol) {

    242. 

  242. 			if (o1 instanceof ISymbol) {

    243. 

  243. 				return e2SymArg((ISymbol) o0, (ISymbol) o1);

    244. 

  244. 			}

    245. 

  245. 		}

    246. 

  246. 

    247. 

  247. 		if (o0 instanceof IAST) {

    248. 

  248. 			if (o1 instanceof IInteger) {

    249. 

  249. 				return eFunIntArg((IAST) o0, (IInteger) o1);

    250. 

  250. 			}

    251. 

  251. 			if (o1 instanceof IAST) {

    252. 

  252. 				return e2FunArg((IAST) o0, (IAST) o1);

    253. 

  253. 			}

    254. 

  254. 		}

    255. 

  255. 

    256. 

  256. 		return null;

    257. 

  257. 	}

    258. 

  258. 

    259. 

  259. 	@Override

    260. 

  260. 	public abstract IExpr e2IntArg(final IInteger i0, final IInteger i1);

    261. 

  261. }

    262. 

  262.