AngouriMath

Navigation

Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug Donate Contacts

← Back to list of members

Var

 Method with 5 overloads

• Var​(System.​String,​System.​String,​System.​String,​System.​String,​System.​String)

  Summary

  Creates three instances of Variable.

  Returns

  A tuple of 3 corresponding variable nodes

  Example

  Here are multiple ways to create variables:
  

  Entity.Variable x = "x";
  var y = Var("y");
  var (a, b) = Var("x", "y");
  var (c, d, e) = Var("a", "b", "c");
  var (c1, d1, e1, f1) = Var("c_1", "d_1", "e_1", "f_1");
  var (c1, d1, e1, f1, g1) = Var("c_1", "d_1", "e_1", "f_1", "g_1");
  var f = Var("f_1");
  var alpha = Var("alpha");
  var alphaPhi = Var("alpha_phi");
  var alpha1 = Var("alpha_1");
  var inGreek = Var("βγδεζη_кΨеВеТкΩ");
  var inCyrillic = Var("Абаваола");

  
  Underscore "_" allows indexing. Greek letter names (e. g.
  "alpha") will be latexised as Greek letter (but other than that,
  will appear as "alpha" in other places).
  

• Var​(System.​String,​System.​String,​System.​String,​System.​String)

  Summary

  Creates three instances of Variable.

  Returns

  A tuple of 3 corresponding variable nodes

  Example

  Here are multiple ways to create variables:
  

  Entity.Variable x = "x";
  var y = Var("y");
  var (a, b) = Var("x", "y");
  var (c, d, e) = Var("a", "b", "c");
  var (c1, d1, e1, f1) = Var("c_1", "d_1", "e_1", "f_1");
  var (c1, d1, e1, f1, g1) = Var("c_1", "d_1", "e_1", "f_1", "g_1");
  var f = Var("f_1");
  var alpha = Var("alpha");
  var alphaPhi = Var("alpha_phi");
  var alpha1 = Var("alpha_1");
  var inGreek = Var("βγδεζη_кΨеВеТкΩ");
  var inCyrillic = Var("Абаваола");

  
  Underscore "_" allows indexing. Greek letter names (e. g.
  "alpha") will be latexised as Greek letter (but other than that,
  will appear as "alpha" in other places).
  

• Var​(System.​String,​System.​String,​System.​String)

  Summary

  Creates three instances of Variable.

  Returns

  A tuple of 3 corresponding variable nodes

  Example

  Here are multiple ways to create variables:
  

  Entity.Variable x = "x";
  var y = Var("y");
  var (a, b) = Var("x", "y");
  var (c, d, e) = Var("a", "b", "c");
  var f = Var("f_1");
  var alpha = Var("alpha");
  var alphaPhi = Var("alpha_phi");
  var alpha1 = Var("alpha_1");
  var inGreek = Var("βγδεζη_кΨеВеТкΩ");
  var inCyrillic = Var("Абаваола");

  
  Underscore "_" allows indexing. Greek letter names (e. g.
  "alpha") will be latexised as Greek letter (but other than that,
  will appear as "alpha" in other places).
  

• Var​(System.​String,​System.​String)

  Summary

  Creates two instances of Variable.

  Returns

  A tuple of 2 corresponding variable nodes

  Example

  Here are multiple ways to create variables:
  

  Entity.Variable x = "x";
  var y = Var("y");
  var (a, b) = Var("x", "y");
  var (c, d, e) = Var("a", "b", "c");
  var f = Var("f_1");
  var alpha = Var("alpha");
  var alphaPhi = Var("alpha_phi");
  var alpha1 = Var("alpha_1");
  var inGreek = Var("βγδεζη_кΨеВеТкΩ");
  var inCyrillic = Var("Абаваола");

  
  Underscore "_" allows indexing. Greek letter names (e. g.
  "alpha") will be latexised as Greek letter (but other than that,
  will appear as "alpha" in other places).
  

• Var​(System.​String)

  Summary

  Creates an instance of Variable.

  Parameter "name"

  The name of the Variable which equality is based on.

  Returns

  Variable node

  Example

  Here are multiple ways to create variables:
  

  Entity.Variable x = "x";
  var y = Var("y");
  var (a, b) = Var("x", "y");
  var (c, d, e) = Var("a", "b", "c");
  var f = Var("f_1");
  var alpha = Var("alpha");
  var alphaPhi = Var("alpha_phi");
  var alpha1 = Var("alpha_1");
  var inGreek = Var("βγδεζη_кΨеВеТкΩ");
  var inCyrillic = Var("Абаваола");

  
  Underscore "_" allows indexing. Greek letter names (e. g.
  "alpha") will be latexised as Greek letter (but other than that,
  will appear as "alpha" in other places).