SYMBOL INDEX (566 symbols across 22 files) FILE: Symbolism/AlgebraicExpand.cs class Extensions (line 13) | public static class Extensions method AlgebraicExpand (line 15) | public static MathObject AlgebraicExpand(this MathObject u) FILE: Symbolism/CoefficientGpe.cs class Extensions (line 13) | public static class Extensions method CoefficientMonomialGpe (line 15) | public static Tuple CoefficientMonomialGpe(thi... method CoefficientGpe (line 51) | public static MathObject CoefficientGpe(this MathObject u, MathObject ... FILE: Symbolism/DeepSelect.cs class Extensions (line 10) | public static class Extensions method DeepSelect (line 12) | public static MathObject DeepSelect(this MathObject obj, Func v) FILE: Symbolism/EliminateVariable.cs class Extensions (line 14) | public static class Extensions method CheckVariableEqLs (line 16) | public static MathObject CheckVariableEqLs(this List eqs, Sy... method CheckVariable (line 41) | public static MathObject CheckVariable(this MathObject expr, Symbol sym) method EliminateVariableEqLs (line 84) | public static MathObject EliminateVariableEqLs(this List eqs... method EliminateVariable (line 143) | public static MathObject EliminateVariable(this MathObject expr, Symbo... method EliminateVariables (line 162) | public static MathObject EliminateVariables(this MathObject expr, para... FILE: Symbolism/ExpandPower.cs class Extensions (line 14) | public static class Extensions method Factorial (line 16) | static BigInteger Factorial(BigInteger n) method ExpandPower (line 29) | public static MathObject ExpandPower(this MathObject u, BigInteger n) FILE: Symbolism/ExpandProduct.cs class Extensions (line 10) | public static class Extensions method ExpandProduct (line 12) | public static MathObject ExpandProduct(this MathObject r, MathObject s) FILE: Symbolism/Has.cs class Extensions (line 10) | public static class Extensions method Has (line 12) | public static bool Has(this MathObject obj, MathObject a) method Has (line 27) | public static bool Has(this MathObject obj, Func proc) method FreeOf (line 42) | public static bool FreeOf(this MathObject obj, MathObject a) => !obj.H... FILE: Symbolism/IsolateVariable.cs class Extensions (line 17) | public static class Extensions method IsolateVariableEq (line 19) | public static MathObject IsolateVariableEq(this Equation eq, Symbol sym) method IsolateVariable (line 256) | public static MathObject IsolateVariable(this MathObject obj, Symbol sym) FILE: Symbolism/LeadingCoefficientGpe.cs class Extensions (line 10) | public static class Extensions method LeadingCoefficientGpe (line 12) | public static MathObject LeadingCoefficientGpe(this MathObject u, Math... FILE: Symbolism/LogicalExpand.cs class Extensions (line 8) | public static class Extensions method LogicalExpand (line 10) | public static MathObject LogicalExpand(this MathObject obj) FILE: Symbolism/PolynomialDivision.cs class Extensions (line 14) | public static class Extensions method PolynomialDivision (line 16) | public static (MathObject quotient, MathObject remainder) PolynomialDi... FILE: Symbolism/PolynomialGcd.cs class Extensions (line 15) | public static class Extensions method PolynomialGcd (line 17) | public static MathObject PolynomialGcd(MathObject u, MathObject v, Mat... FILE: Symbolism/RationalExpand.cs class Extensions (line 13) | public static class Extensions method RationalExpand (line 15) | public static MathObject RationalExpand(this MathObject u) FILE: Symbolism/RationalizeExpression.cs class Extensions (line 10) | public static class Extensions method RationalizeSum (line 12) | static MathObject RationalizeSum(MathObject u, MathObject v) method RationalizeExpression (line 24) | public static MathObject RationalizeExpression(this MathObject u) FILE: Symbolism/SimplifyEquation.cs class Extensions (line 8) | public static class Extensions method SimplifyEquation (line 10) | public static MathObject SimplifyEquation(this MathObject expr) FILE: Symbolism/SimplifyLogical.cs class Extensions (line 8) | public static class Extensions method HasDuplicates (line 10) | static bool HasDuplicates(this IEnumerable ls) method RemoveDuplicates (line 17) | static IEnumerable RemoveDuplicates(this IEnumerable base.ToString(); method StandardForm (line 129) | public virtual string StandardForm() => FullForm(); method ToString (line 131) | public override string ToString() method Numerator (line 140) | public virtual MathObject Numerator() => this; method Denominator (line 142) | public virtual MathObject Denominator() => 1; method Equals (line 144) | public override bool Equals(object obj) method GetHashCode (line 147) | public override int GetHashCode() => base.GetHashCode(); class Equation (line 150) | public class Equation : MathObject type Operators (line 152) | public enum Operators { Equal, NotEqual, LessThan, GreaterThan } method Equation (line 159) | public Equation(MathObject x, MathObject y) method Equation (line 162) | public Equation(MathObject x, MathObject y, Operators op) method FullForm (line 165) | public override string FullForm() method Equals (line 174) | public override bool Equals(object obj) => method ToBoolean (line 180) | Boolean ToBoolean() method Simplify (line 227) | public MathObject Simplify() method GetHashCode (line 234) | public override int GetHashCode() => new { a, b }.GetHashCode(); class Bool (line 238) | public class Bool : MathObject method Bool (line 242) | public Bool(bool b) { val = b; } method FullForm (line 244) | public override string FullForm() => val.ToString(); method Equals (line 246) | public override bool Equals(object obj) => val == (obj as Bool)?.val; method GetHashCode (line 248) | public override int GetHashCode() => val.GetHashCode(); class Number (line 263) | public abstract class Number : MathObject method ToDouble (line 265) | public abstract DoubleFloat ToDouble(); class Integer (line 268) | public class Integer : Number method Integer (line 272) | public Integer(int n) { val = n; } method Integer (line 274) | public Integer(BigInteger n) { val = n; } method FullForm (line 284) | public override string FullForm() => val.ToString(); method Equals (line 286) | public override bool Equals(object obj) => val == (obj as Integer)?.val; method GetHashCode (line 288) | public override int GetHashCode() => val.GetHashCode(); method ToDouble (line 290) | public override DoubleFloat ToDouble() => new DoubleFloat((double)val); class DoubleFloat (line 293) | public class DoubleFloat : Number method DoubleFloat (line 299) | public DoubleFloat(double n) { val = n; } method FullForm (line 301) | public override string FullForm() => val.ToString("R"); method Equals (line 311) | public override bool Equals(object obj) method GetHashCode (line 321) | public override int GetHashCode() => val.GetHashCode(); method ToDouble (line 323) | public override DoubleFloat ToDouble() => this; class Fraction (line 326) | public class Fraction : Number method Fraction (line 331) | public Fraction(Integer a, Integer b) method FullForm (line 334) | public override string FullForm() => numerator + "/" + denominator; method ToDouble (line 336) | public override DoubleFloat ToDouble() => new DoubleFloat((double)nume... method Equals (line 339) | public override bool Equals(object obj) => method GetHashCode (line 344) | public override int GetHashCode() => new { numerator, denominator }.Ge... method Numerator (line 346) | public override MathObject Numerator() => numerator; method Denominator (line 348) | public override MathObject Denominator() => denominator; class Rational (line 351) | public static class Rational method Div (line 353) | static BigInteger Div(BigInteger a, BigInteger b) method Rem (line 356) | static BigInteger Rem(BigInteger a, BigInteger b) method Gcd (line 359) | static BigInteger Gcd(BigInteger a, BigInteger b) method SimplifyRationalNumber (line 371) | public static MathObject SimplifyRationalNumber(MathObject u) method Numerator (line 393) | public static Integer Numerator(MathObject u) method Denominator (line 419) | public static Integer Denominator(MathObject u) method EvaluateSum (line 440) | public static Fraction EvaluateSum(MathObject v, MathObject w) => method EvaluateDifference (line 450) | public static Fraction EvaluateDifference(MathObject v, MathObject w) => method EvaluateProduct (line 455) | public static Fraction EvaluateProduct(MathObject v, MathObject w) => method EvaluateQuotient (line 460) | public static MathObject EvaluateQuotient(MathObject v, MathObject w) method EvaluatePower (line 470) | public static MathObject EvaluatePower(MathObject v, BigInteger n) method SimplifyRNERec (line 494) | public static MathObject SimplifyRNERec(MathObject u) method SimplifyRNE (line 570) | public static MathObject SimplifyRNE(MathObject u) class Undefined (line 578) | public class Undefined : MathObject { } class MiscUtils (line 580) | public static class MiscUtils { } class Symbol (line 582) | public class Symbol : MathObject method Symbol (line 586) | public Symbol(String str) { name = str; } method FullForm (line 588) | public override string FullForm() => name; method GetHashCode (line 590) | public override int GetHashCode() => name.GetHashCode(); method Equals (line 592) | public override bool Equals(Object obj) => class ListConstructor (line 596) | public static class ListConstructor method List (line 598) | public static List List(params T[] items) => new List(items); method ImList (line 600) | public static ImmutableList ImList(params T[] items) => Immutabl... class ListUtils (line 603) | public static class ListUtils method Cons (line 605) | public static ImmutableList Cons(this ImmutableList Cdr(this ImmutableList a, ImmutableList args) method Equals (line 641) | public override bool Equals(object obj) => method Simplify (line 646) | public MathObject Simplify() => proc == null ? this : proc(args.ToArra... method FullForm (line 648) | public override string FullForm() => $"{name}({string.Join(", ", args)... method Clone (line 650) | public MathObject Clone() => MemberwiseClone() as MathObject; method GetHashCode (line 652) | public override int GetHashCode() => new { name, args }.GetHashCode(); class FunctionExtensions (line 655) | public static class FunctionExtensions class And (line 666) | public class And : Function method AndProc (line 668) | static MathObject AndProc(MathObject[] ls) method And (line 696) | public And(params MathObject[] ls) : base("and", AndProc, ls) { } method And (line 698) | public And() : base("and", AndProc, new List()) { } method FromRange (line 700) | public static And FromRange(IEnumerable ls) => new And(ls.... method Add (line 702) | public MathObject Add(MathObject obj) => method AddRange (line 705) | public MathObject AddRange(IEnumerable ls) => method Map (line 708) | public MathObject Map(Func proc) => class Or (line 712) | public class Or : Function method OrProc (line 714) | static MathObject OrProc(params MathObject[] ls) method Or (line 743) | public Or(params MathObject[] ls) : base("or", OrProc, ls) { } method Or (line 745) | public Or() : base("or", OrProc, new List()) { } method FromRange (line 747) | public static Or FromRange(IEnumerable ls) => new Or(ls.To... method Map (line 749) | public MathObject Map(Func proc) => Or.FromRan... class OrderRelation (line 752) | public static class OrderRelation method Base (line 754) | public static MathObject Base(MathObject u) => u is Power ? (u as Powe... method Exponent (line 756) | public static MathObject Exponent(MathObject u) => u is Power ? (u as ... method Term (line 758) | public static MathObject Term(this MathObject u) method Const (line 769) | public static MathObject Const(this MathObject u) => method O3 (line 772) | public static bool O3(ImmutableList uElts, ImmutableList method StandardForm (line 896) | public override string StandardForm() method Equals (line 907) | public override bool Equals(object obj) => method Simplify (line 910) | public MathObject Simplify() method Numerator (line 961) | public override MathObject Numerator() method Denominator (line 970) | public override MathObject Denominator() method GetHashCode (line 979) | public override int GetHashCode() => new { bas, exp }.GetHashCode(); class Product (line 982) | public class Product : MathObject method Product (line 986) | public Product(params MathObject[] ls) => elts = ImmutableList.Create(... method FromRange (line 988) | public static Product FromRange(IEnumerable ls) => new Pro... method FullForm (line 990) | public override string FullForm() => method StandardForm (line 993) | public override string StandardForm() method GetHashCode (line 1015) | public override int GetHashCode() => elts.GetHashCode(); method Equals (line 1017) | public override bool Equals(object obj) => method MergeProducts (line 1020) | static ImmutableList MergeProducts(ImmutableList SimplifyDoubleNumberProduct(DoubleFlo... method RecursiveSimplify (line 1059) | public static ImmutableList RecursiveSimplify(ImmutableLis... method Simplify (line 1126) | public MathObject Simplify() method Numerator (line 1146) | public override MathObject Numerator() => method Denominator (line 1149) | public override MathObject Denominator() => method Map (line 1152) | public MathObject Map(Func proc) => class Sum (line 1156) | public class Sum : MathObject method Sum (line 1160) | public Sum(params MathObject[] ls) { elts = ImmutableList.Create(ls); } method FromRange (line 1162) | public static Sum FromRange(IEnumerable ls) => new Sum(ls.... method GetHashCode (line 1164) | public override int GetHashCode() => elts.GetHashCode(); method Equals (line 1166) | public override bool Equals(object obj) => method MergeSums (line 1169) | static ImmutableList MergeSums(ImmutableList p... method SimplifyDoubleNumberSum (line 1193) | static ImmutableList SimplifyDoubleNumberSum(DoubleFloat a... method RecursiveSimplify (line 1208) | static ImmutableList RecursiveSimplify(ImmutableList method StandardForm (line 1293) | public override string StandardForm() method Map (line 1313) | public MathObject Map(Func proc) => class Difference (line 1317) | class Difference : MathObject method Difference (line 1321) | public Difference(params MathObject[] ls) => elts = ImmutableList.Crea... method Simplify (line 1323) | public MathObject Simplify() class Quotient (line 1333) | class Quotient : MathObject method Quotient (line 1337) | public Quotient(params MathObject[] ls) => elts = ImmutableList.Create... method Simplify (line 1339) | public MathObject Simplify() => elts[0] * (elts[1] ^ -1); class Constructors (line 1342) | public static class Constructors method sqrt (line 1344) | public static MathObject sqrt(MathObject obj) => obj ^ (new Integer(1)... method and (line 1346) | public static MathObject and(params MathObject[] ls) => And.FromRange(... method or (line 1348) | public static MathObject or(params MathObject[] ls) => Or.FromRange(ls... FILE: Symbolism/Trigonometric.cs class Sin (line 12) | public class Sin : Function method Mod (line 14) | public static MathObject Mod(MathObject x, MathObject y) method SinProc (line 26) | static MathObject SinProc(params MathObject[] ls) method Sin (line 165) | public Sin(MathObject param) : base("sin", SinProc, new[] { param }) { } class Cos (line 167) | public class Cos : Function method Mod (line 169) | public static MathObject Mod(MathObject x, MathObject y) method CosProc (line 181) | static MathObject CosProc(params MathObject[] ls) method Cos (line 336) | public Cos(MathObject param) : base("cos", CosProc, new[] { param }) { } class Tan (line 338) | public class Tan : Function method TanProc (line 340) | static MathObject TanProc(params MathObject[] ls) method Tan (line 348) | public Tan(MathObject param) : base("tan", TanProc, new[] { param }) { } class Asin (line 350) | public class Asin : Function method AsinProc (line 352) | static MathObject AsinProc(params MathObject[] ls) method Asin (line 360) | public Asin(MathObject param) : base("asin", AsinProc, new[] { param }... class Atan (line 362) | public class Atan : Function method AtanProc (line 364) | static MathObject AtanProc(params MathObject[] ls) method Atan (line 372) | public Atan(MathObject param) : base("atan", AtanProc, new[] { param }... class Atan2 (line 374) | public class Atan2 : Function method Atan2Proc (line 376) | static MathObject Atan2Proc(params MathObject[] ls) method Atan2 (line 416) | public Atan2(MathObject a, MathObject b) : base("atan2", Atan2Proc, ne... class Constructors (line 419) | public static class Constructors method sin (line 421) | public static MathObject sin(MathObject obj) => new Sin(obj).Simplify(); method cos (line 422) | public static MathObject cos(MathObject obj) => new Cos(obj).Simplify(); method tan (line 423) | public static MathObject tan(MathObject obj) => new Tan(obj).Simplify(); method asin (line 425) | public static MathObject asin(MathObject obj) => new Asin(obj).Simplif... method atan (line 426) | public static MathObject atan(MathObject obj) => new Atan(obj).Simplif... class Extensions (line 429) | public static class Extensions method ToRadians (line 433) | public static MathObject ToRadians(this MathObject n) => n * Pi / 180; method ToDegrees (line 435) | public static MathObject ToDegrees(this MathObject n) => 180 * n / Pi; method ToRadians (line 437) | public static MathObject ToRadians(this int n) => new Integer(n) * Pi ... method ToDegrees (line 439) | public static MathObject ToDegrees(this int n) => 180 * new Integer(n)... FILE: Symbolism/Utils.cs class Extensions (line 7) | public static class Extensions method Disp (line 9) | public static T Disp(this T obj) method Disp (line 15) | public static T Disp(this T obj, string format) method DispLong (line 21) | public static MathObject DispLong(this MathObject obj, int indent = 0,... FILE: Tests/Tests.cs class Extensions (line 48) | public static class Extensions method AssertEqTo (line 52) | public static MathObject AssertEqTo(this MathObject a, MathObject b) method MultiplyBothSidesBy (line 59) | public static MathObject MultiplyBothSidesBy(this MathObject obj, Math... method AddToBothSides (line 75) | public static MathObject AddToBothSides(this MathObject obj, MathObjec... class Obj2 (line 84) | public class Obj2 method Obj2 (line 97) | public Obj2(string name) method Equations (line 120) | public And Equations() class Obj3 (line 140) | public class Obj3 method Obj3 (line 153) | public Obj3(string name) method Equations (line 180) | public And Equations() class Obj5 (line 203) | public class Obj5 method Obj5 (line 216) | public Obj5(string name) method Equations (line 251) | public And Equations() class KinematicObjectABC (line 280) | public class KinematicObjectABC method KinematicObjectABC (line 290) | public KinematicObjectABC(string name) method EquationsAB (line 329) | public And EquationsAB() => method EquationsBC (line 341) | public And EquationsBC() => method EquationsAC (line 353) | public And EquationsAC() => method TrigEquationsA (line 365) | public And TrigEquationsA() => class Tests (line 376) | public class Tests method Int (line 388) | Integer Int(int n) => new Integer(n); method Test1 (line 391) | [Fact] public void Test1() => Assert.True(new DoubleFloat(1.2).Equals(... method Test2 (line 392) | [Fact] public void Test2() => Assert.False(new DoubleFloat(1.20000001)... method Test3 (line 394) | [Fact] method Test4 (line 404) | [Fact] public void Test4() => Assert.False(new DoubleFloat(1.2).Equals... method Test5 (line 409) | [Fact] public void Test5() => Assert.True((2 * x * y).Const() == 2); method Test6 (line 410) | [Fact] public void Test6() => Assert.True((x * y / 2).Const() == new I... method Test7 (line 411) | [Fact] public void Test7() => Assert.True((0.1 * x * y).Const() == 0.1); method Test8 (line 412) | [Fact] public void Test8() => Assert.True((x * y).Const() == 1); method Test9 (line 418) | [Fact] public void Test9() => Assert.True(x + x == 2 * x); method Test10 (line 419) | [Fact] public void Test10() => Assert.True(x + x + x == 3 * x); method Test11 (line 420) | [Fact] public void Test11() => Assert.True(5 + x + 2 == 7 + x); method Test12 (line 421) | [Fact] public void Test12() => Assert.True(3 + x + 5 + x == 8 + 2 * x); method Test13 (line 422) | [Fact] public void Test13() => Assert.True(4 * x + 3 * x == 7 * x); method Test14 (line 423) | [Fact] public void Test14() => Assert.True(x + y + z + x + y + z == 2 ... method Test15 (line 424) | [Fact] public void Test15() => Assert.True(10 - x == 10 + x * -1); method Test16 (line 425) | [Fact] public void Test16() => Assert.True(x * y / 3 == Int(1) / 3 * x... method Test17 (line 426) | [Fact] public void Test17() => Assert.True(x / y == x * (y ^ -1)); method Test18 (line 427) | [Fact] public void Test18() => Assert.True(x / 3 == x * (Int(1) / 3)); method Test19 (line 428) | [Fact] public void Test19() => Assert.True(6 * x * y / 3 == 2 * x * y); method Test20 (line 429) | [Fact] public void Test20() => Assert.True((((x ^ Int(1) / 2) ^ Int(1)... method Test21 (line 430) | [Fact] public void Test21() => Assert.True(((((x * y) ^ (Int(1) / 2)) ... method Test22 (line 431) | [Fact] public void Test22() => Assert.True(x / x == 1); method Test23 (line 432) | [Fact] public void Test23() => Assert.True(x / y * y / x == 1); method Test24 (line 433) | [Fact] public void Test24() => Assert.True((x ^ 2) * (x ^ 3) == (x ^ 5)); method Test25 (line 434) | [Fact] public void Test25() => Assert.True(x + y + x + z + 5 + z == 5 ... method Test26 (line 435) | [Fact] public void Test26() => Assert.True(((Int(1) / 2) * x + (Int(3)... method Test27 (line 436) | [Fact] public void Test27() => Assert.True(1.2 * x + 3 * x == 4.2 * x); method Test28 (line 437) | [Fact] public void Test28() => Assert.True(3 * x + 1.2 * x == 4.2 * x); method Test29 (line 438) | [Fact] public void Test29() => Assert.True(1.2 * x * 3 * y == 3.599999... method Test30 (line 439) | [Fact] public void Test30() => Assert.True(3 * x * 1.2 * y == 3.599999... method Test31 (line 440) | [Fact] public void Test31() => Assert.True(3.4 * x * 1.2 * y == 4.08 *... method Test32 (line 441) | [Fact] public void Test32() => Assert.True((a == b) == (a == b)); method Test33 (line 446) | [Fact] public void Test33() => Assert.True((0 ^ x) == 0); method Test34 (line 447) | [Fact] public void Test34() => Assert.True((1 ^ x) == 1); method Test35 (line 448) | [Fact] public void Test35() => Assert.True((x ^ 0) == 1); method Test36 (line 449) | [Fact] public void Test36() => Assert.True((x ^ 1) == x); method Test37 (line 453) | [Fact] public void Test37() => Assert.True(x * 0 == 0); method Test38 (line 456) | [Fact] public void Test38() => Assert.True(-x == -1 * x); method Test39 (line 457) | [Fact] public void Test39() => Assert.True(x - y == x + -1 * y); method Test40 (line 461) | [Fact] public void Test40() => Assert.True(Int(10).Substitute(Int(10),... method Test41 (line 462) | [Fact] public void Test41() => Assert.True(Int(10).Substitute(Int(15),... method Test42 (line 464) | [Fact] public void Test42() => Assert.True(new DoubleFloat(1.0).Substi... method Test43 (line 465) | [Fact] public void Test43() => Assert.True(new DoubleFloat(1.0).Substi... method Test44 (line 467) | [Fact] public void Test44() => Assert.True((Int(1) / 2).Substitute(Int... method Test45 (line 468) | [Fact] public void Test45() => Assert.True((Int(1) / 2).Substitute(Int... method Test46 (line 470) | [Fact] public void Test46() => Assert.True(x.Substitute(x, y) == y); method Test47 (line 471) | [Fact] public void Test47() => Assert.True(x.Substitute(y, y) == x); method Test48 (line 473) | [Fact] public void Test48() => Assert.True((x ^ y).Substitute(x, 10) =... method Test49 (line 474) | [Fact] public void Test49() => Assert.True((x ^ y).Substitute(y, 10) =... method Test50 (line 476) | [Fact] public void Test50() => Assert.True((x ^ y).Substitute(x ^ y, 1... method Test51 (line 478) | [Fact] public void Test51() => Assert.True((x * y * z).Substitute(x, y... method Test52 (line 479) | [Fact] public void Test52() => Assert.True((x * y * z).Substitute(x * ... method Test53 (line 481) | [Fact] public void Test53() => Assert.True((x + y + z).Substitute(x, y... method Test54 (line 482) | [Fact] public void Test54() => Assert.True((x + y + z).Substitute(x + ... method Test55 (line 484) | [Fact] public void Test55() => Assert.True(((((x * y) ^ (Int(1) / 2)) ... method Test56 (line 488) | [Fact] public void Test56() => Assert.True((x == y).Substitute(y, z) =... method Test57 (line 490) | [Fact] public void Test57() => Assert.True((x != y).Substitute(y, z) =... method Test58 (line 492) | [Fact] public void Test58() => (x == 0).Substitute(x, 0).AssertEqTo(tr... method Test59 (line 493) | [Fact] public void Test59() => (x == 0).Substitute(x, 1).AssertEqTo(fa... method Test60 (line 494) | [Fact] public void Test60() => (x != 0).Substitute(x, 0).AssertEqTo(fa... method Test61 (line 495) | [Fact] public void Test61() => (x != 0).Substitute(x, 1).AssertEqTo(tr... method Test62 (line 501) | [Fact] public void Test62() => Assert.True(sin(new DoubleFloat(3.14159... method Test63 (line 503) | [Fact] public void Test63() => Assert.True(sin(x + y) + sin(x + y) == ... method Test64 (line 505) | [Fact] public void Test64() => Assert.True(sin(x + x) == sin(2 * x)); method Test65 (line 507) | [Fact] public void Test65() => Assert.True(sin(x + x).Substitute(x, 1)... method Test66 (line 509) | [Fact] public void Test66() => Assert.True(sin(x + x).Substitute(x, 1.... method Test67 (line 511) | [Fact] public void Test67() => Assert.True(sin(2 * x).Substitute(x, y)... method Test68 (line 515) | [Fact] public void Test68() => Assert.True(1 * x == x); method Test69 (line 517) | [Fact] public void Test69() => Assert.True(x * 1 == x); method Test70 (line 519) | [Fact] public void Test70() => Assert.True(x != y); method Test71 (line 521) | [Fact] public void Test71() => Assert.True(x != 10); method Test72 (line 525) | [Fact] public void Test72() => Assert.True(1.0 == new DoubleFloat(3.0)... method Test73 (line 527) | [Fact] public void Test73() => Assert.True((a == b) != (a != b)); method Test74 (line 529) | [Fact] public void Test74() => (sqrt(a * b) * (sqrt(a * b) / a) / c).A... method AssertToStringMatch (line 531) | void AssertToStringMatch(MathObject obj, string str) => Assert.True(ob... method Test75 (line 533) | [Fact] method Test76 (line 561) | [Fact] method Test77 (line 640) | [Fact] public void Test77() => Assert.True((x == y).ToString() == "x =... method Test78 (line 642) | [Fact] public void Test78() => Assert.True((x != y).ToString() == "x !... method Test79 (line 647) | [Fact] public void Test79() => Assert.True(new And().ToString() == "an... method Test80 (line 653) | [Fact] public void Test80() => (new Integer(0) == new Integer(0)).Simp... method Test81 (line 654) | [Fact] public void Test81() => (new Integer(0) == new Integer(1)).Simp... method Test82 (line 655) | [Fact] public void Test82() => (new Integer(0) != new Integer(1)).Simp... method Test83 (line 656) | [Fact] public void Test83() => (new Integer(0) != new Integer(0)).Simp... method Test84 (line 661) | [Fact] public void Test84() => and().AssertEqTo(true); method Test85 (line 663) | [Fact] public void Test85() => and(10).AssertEqTo(10); method Test86 (line 665) | [Fact] public void Test86() => and(true).AssertEqTo(true); method Test87 (line 667) | [Fact] public void Test87() => and(false).AssertEqTo(false); method Test88 (line 669) | [Fact] public void Test88() => and(10, 20, 30).AssertEqTo(and(10, 20, ... method Test89 (line 671) | [Fact] public void Test89() => and(10, false, 20).AssertEqTo(false); method Test90 (line 673) | [Fact] public void Test90() => and(10, true, 20).AssertEqTo(and(10, 20)); method Test91 (line 675) | [Fact] public void Test91() => and(10, and(20, 30), 40).AssertEqTo(and... method Test92 (line 680) | [Fact] public void Test92() => or(10).AssertEqTo(10); method Test93 (line 682) | [Fact] public void Test93() => or(true).AssertEqTo(true); method Test94 (line 684) | [Fact] public void Test94() => or(false).AssertEqTo(false); method Test95 (line 686) | [Fact] public void Test95() => or(10, 20, false).AssertEqTo(or(10, 20)); method Test96 (line 688) | [Fact] public void Test96() => or(false, false).AssertEqTo(false); method Test97 (line 690) | [Fact] public void Test97() => or(10, true, 20, false).AssertEqTo(true); method Test98 (line 692) | [Fact] public void Test98() => or(10, false, 20).AssertEqTo(or(10, 20)); method Test99 (line 694) | [Fact] public void Test99() => or(10, or(20, 30), 40).AssertEqTo(or(10... method Test100 (line 700) | [Fact] method Test101 (line 705) | [Fact] method Test102 (line 709) | [Fact] method Test103 (line 713) | [Fact] method Test104 (line 721) | [Fact] method Test105 (line 726) | [Fact] method Test106 (line 740) | [Fact] public void Test106() => sin(0).AssertEqTo(0); method Test107 (line 742) | [Fact] public void Test107() => sin(Pi).AssertEqTo(0); method Test108 (line 744) | [Fact] public void Test108() => sin(-10).AssertEqTo(-sin(10)); method Test109 (line 746) | [Fact] public void Test109() => sin(-x).AssertEqTo(-sin(x)); method Test110 (line 748) | [Fact] public void Test110() => sin(-5 * x).AssertEqTo(-sin(5 * x)); method Test111 (line 752) | [Fact] public void Test111() => sin(-2 * Pi).AssertEqTo(0); method Test112 (line 753) | [Fact] public void Test112() => sin(-1 * Pi).AssertEqTo(0); method Test113 (line 754) | [Fact] public void Test113() => sin(2 * Pi).AssertEqTo(0); method Test114 (line 755) | [Fact] public void Test114() => sin(3 * Pi).AssertEqTo(0); method Test115 (line 757) | [Fact] public void Test115() => sin(-7 * Pi / 2).AssertEqTo(1); method Test116 (line 758) | [Fact] public void Test116() => sin(-5 * Pi / 2).AssertEqTo(-1); method Test117 (line 759) | [Fact] public void Test117() => sin(-3 * Pi / 2).AssertEqTo(1); method Test118 (line 760) | [Fact] public void Test118() => sin(-1 * Pi / 2).AssertEqTo(-1); method Test119 (line 761) | [Fact] public void Test119() => sin(1 * Pi / 2).AssertEqTo(1); method Test120 (line 762) | [Fact] public void Test120() => sin(3 * Pi / 2).AssertEqTo(-1); method Test121 (line 763) | [Fact] public void Test121() => sin(5 * Pi / 2).AssertEqTo(1); method Test122 (line 764) | [Fact] public void Test122() => sin(7 * Pi / 2).AssertEqTo(-1); method Test123 (line 766) | [Fact] public void Test123() => sin(-4 * Pi / 3).AssertEqTo(sqrt(3) / 2); method Test124 (line 767) | [Fact] public void Test124() => sin(-2 * Pi / 3).AssertEqTo(-sqrt(3) /... method Test125 (line 768) | [Fact] public void Test125() => sin(-1 * Pi / 3).AssertEqTo(-sqrt(3) /... method Test126 (line 769) | [Fact] public void Test126() => sin(1 * Pi / 3).AssertEqTo(sqrt(3) / 2); method Test127 (line 770) | [Fact] public void Test127() => sin(2 * Pi / 3).AssertEqTo(sqrt(3) / 2); method Test128 (line 771) | [Fact] public void Test128() => sin(4 * Pi / 3).AssertEqTo(-sqrt(3) / 2); method Test129 (line 772) | [Fact] public void Test129() => sin(5 * Pi / 3).AssertEqTo(-sqrt(3) / 2); method Test130 (line 773) | [Fact] public void Test130() => sin(7 * Pi / 3).AssertEqTo(sqrt(3) / 2); method Test131 (line 775) | [Fact] public void Test131() => sin(-3 * Pi / 4).AssertEqTo(-1 / sqrt(... method Test132 (line 776) | [Fact] public void Test132() => sin(-1 * Pi / 4).AssertEqTo(-1 / sqrt(... method Test133 (line 777) | [Fact] public void Test133() => sin(1 * Pi / 4).AssertEqTo(1 / sqrt(2)); method Test134 (line 778) | [Fact] public void Test134() => sin(3 * Pi / 4).AssertEqTo(1 / sqrt(2)); method Test135 (line 779) | [Fact] public void Test135() => sin(5 * Pi / 4).AssertEqTo(-1 / sqrt(2)); method Test136 (line 780) | [Fact] public void Test136() => sin(7 * Pi / 4).AssertEqTo(-1 / sqrt(2)); method Test137 (line 781) | [Fact] public void Test137() => sin(9 * Pi / 4).AssertEqTo(1 / sqrt(2)); method Test138 (line 782) | [Fact] public void Test138() => sin(11 * Pi / 4).AssertEqTo(1 / sqrt(2)); method Test139 (line 784) | [Fact] public void Test139() => sin(-5 * Pi / 6).AssertEqTo(-half); method Test140 (line 785) | [Fact] public void Test140() => sin(-1 * Pi / 6).AssertEqTo(-half); method Test141 (line 786) | [Fact] public void Test141() => sin(1 * Pi / 6).AssertEqTo(half); method Test142 (line 787) | [Fact] public void Test142() => sin(5 * Pi / 6).AssertEqTo(half); method Test143 (line 788) | [Fact] public void Test143() => sin(7 * Pi / 6).AssertEqTo(-half); method Test144 (line 789) | [Fact] public void Test144() => sin(11 * Pi / 6).AssertEqTo(-half); method Test145 (line 790) | [Fact] public void Test145() => sin(13 * Pi / 6).AssertEqTo(half); method Test146 (line 791) | [Fact] public void Test146() => sin(17 * Pi / 6).AssertEqTo(half); method Test147 (line 795) | [Fact] public void Test147() => sin(15 * Pi / 7).AssertEqTo(sin(1 * Pi... method Test148 (line 796) | [Fact] public void Test148() => sin(8 * Pi / 7).AssertEqTo(-sin(1 * Pi... method Test149 (line 797) | [Fact] public void Test149() => sin(4 * Pi / 7).AssertEqTo(sin(3 * Pi ... method Test150 (line 801) | [Fact] public void Test150() => sin(x - 3 * Pi).AssertEqTo(sin(x + Pi)); method Test151 (line 802) | [Fact] public void Test151() => sin(x - 2 * Pi).AssertEqTo(sin(x)); method Test152 (line 803) | [Fact] public void Test152() => sin(x + 2 * Pi).AssertEqTo(sin(x)); method Test153 (line 804) | [Fact] public void Test153() => sin(x + 3 * Pi).AssertEqTo(sin(x + Pi)); method Test154 (line 805) | [Fact] public void Test154() => sin(x + 7 * Pi / 2).AssertEqTo(sin(x +... method Test155 (line 809) | [Fact] public void Test155() => sin(x - 3 * Pi / 2).AssertEqTo(cos(x)); method Test156 (line 810) | [Fact] public void Test156() => sin(x - 1 * Pi / 2).AssertEqTo(-cos(x)); method Test157 (line 811) | [Fact] public void Test157() => sin(x + 1 * Pi / 2).AssertEqTo(cos(x)); method Test158 (line 812) | [Fact] public void Test158() => sin(x + 3 * Pi / 2).AssertEqTo(-cos(x)); method Test159 (line 814) | [Fact] public void Test159() => sin(Pi + x).AssertEqTo(-sin(x)); method Test160 (line 816) | [Fact] public void Test160() => sin(Pi + x + y).AssertEqTo(-sin(x + y)); method Test161 (line 819) | [Fact] public void Test161() => cos(Pi + x).AssertEqTo(-cos(x)); method Test162 (line 821) | [Fact] public void Test162() => cos(Pi + x + y).AssertEqTo(-cos(x + y)); method Test163 (line 827) | [Fact] public void Test163() => cos(0).AssertEqTo(1); method Test164 (line 829) | [Fact] public void Test164() => cos(Pi).AssertEqTo(-1); method Test165 (line 831) | [Fact] public void Test165() => cos(-10).AssertEqTo(cos(10)); method Test166 (line 833) | [Fact] public void Test166() => cos(-10 * x).AssertEqTo(cos(10 * x)); method Test167 (line 835) | [Fact] public void Test167() => cos(3 * Pi).AssertEqTo(-1); method Test168 (line 837) | [Fact] public void Test168() => cos(2 * Pi * 3 / 4).AssertEqTo(0); method Test169 (line 841) | [Fact] public void Test169() => cos(x - 3 * Pi).AssertEqTo(cos(x + Pi)); method Test170 (line 842) | [Fact] public void Test170() => cos(x + 3 * Pi).AssertEqTo(cos(x + Pi)); method Test171 (line 844) | [Fact] public void Test171() => cos(x - 2 * Pi).AssertEqTo(cos(x)); method Test172 (line 845) | [Fact] public void Test172() => cos(x + 2 * Pi).AssertEqTo(cos(x)); method Test173 (line 847) | [Fact] public void Test173() => cos(x + Pi * 7 / 2).AssertEqTo(cos(x +... method Test174 (line 851) | [Fact] public void Test174() => cos(x - Pi * 3 / 2).AssertEqTo(-sin(x)); method Test175 (line 852) | [Fact] public void Test175() => cos(x - Pi * 1 / 2).AssertEqTo(sin(x)); method Test176 (line 853) | [Fact] public void Test176() => cos(x + Pi * 1 / 2).AssertEqTo(-sin(x)); method Test177 (line 854) | [Fact] public void Test177() => cos(x + Pi * 3 / 2).AssertEqTo(sin(x)); method Test178 (line 860) | [Fact] public void Test178() => Assert.True(a.Has(elt => elt == a), "a... method Test179 (line 862) | [Fact] public void Test179() => Assert.True(a.Has(elt => elt == b) == ... method Test180 (line 864) | [Fact] public void Test180() => Assert.True((a == b).Has(elt => elt ==... method Test181 (line 866) | [Fact] public void Test181() => Assert.True((a == b).Has(elt => elt ==... method Test182 (line 868) | [Fact] public void Test182() => Assert.True(((a + b) ^ c).Has(elt => e... method Test183 (line 870) | [Fact] public void Test183() => Assert.True(((a + b) ^ c).Has(elt => (... method Test184 (line 872) | [Fact] public void Test184() => Assert.True((x * (a + b + c)).Has(elt ... method Test185 (line 874) | [Fact] public void Test185() => Assert.True((x * (a + b + c)).Has(elt ... method Test186 (line 876) | [Fact] public void Test186() => Assert.True((x * (a + b + c)).Has(elt ... method Test187 (line 882) | [Fact] public void Test187() => Assert.True((a + b).FreeOf(b) == false... method Test188 (line 883) | [Fact] public void Test188() => Assert.True((a + b).FreeOf(c) == true,... method Test189 (line 884) | [Fact] public void Test189() => Assert.True(((a + b) * c).FreeOf(a + b... method Test190 (line 885) | [Fact] public void Test190() => Assert.True((sin(x) + 2 * x).FreeOf(si... method Test191 (line 886) | [Fact] public void Test191() => Assert.True(((a + b + c) * d).FreeOf(a... method Test192 (line 887) | [Fact] public void Test192() => Assert.True(((y + 2 * x - y) / x).Free... method Test193 (line 888) | [Fact] public void Test193() => Assert.True(((x * y) ^ 2).FreeOf(x * y... method Test194 (line 894) | [Fact] public void Test194() => Assert.True((x ^ -1).Numerator() == 1); method Test195 (line 896) | [Fact] public void Test195() => Assert.True((x ^ -half).Numerator() ==... method Test196 (line 902) | [Fact] method Test197 (line 910) | [Fact] method Test198 (line 918) | [Fact] method Test199 (line 924) | [Fact] method Test200 (line 933) | [Fact] method Test201 (line 942) | [Fact] method Test202 (line 960) | [Fact] method Test203 (line 966) | [Fact] method Test204 (line 972) | [Fact] method Test205 (line 982) | [Fact] method Test206 (line 992) | [Fact] method Test207 (line 997) | [Fact] method Test208 (line 1002) | [Fact] method Test209 (line 1007) | [Fact] method Test210 (line 1016) | [Fact] public void Test210() => Assert.True((a * (x ^ 2) + b * x + c).... method Test211 (line 1018) | [Fact] public void Test211() => Assert.True((3 * x * (y ^ 2) + 5 * (x ... method Test212 (line 1020) | [Fact] public void Test212() => Assert.True((3 * x * (y ^ 2) + 5 * (x ... method Test213 (line 1022) | [Fact] method Test214 (line 1031) | [Fact] method Test215 (line 1037) | [Fact] method Test216 (line 1050) | [Fact] method Test217 (line 1056) | [Fact] method Test218 (line 1062) | [Fact] method Test219 (line 1069) | [Fact] method Test220 (line 1075) | [Fact] method Test221 (line 1085) | [Fact] public void Test221() => (x + y + z == 0).IsolateVariable(a).As... method Test222 (line 1089) | [Fact] method Test223 (line 1094) | [Fact] method Test224 (line 1099) | [Fact] method Test225 (line 1104) | [Fact] public void Test225() => Assert.True((0 == x - y).IsolateVariab... method Test226 (line 1108) | [Fact] method Test227 (line 1131) | [Fact] method Test228 (line 1155) | [Fact] method Test229 (line 1175) | [Fact] public void Test229() => (sqrt(x + y) == z).IsolateVariable(x).... method Test230 (line 1177) | [Fact] method Test231 (line 1182) | [Fact] method Test232 (line 1187) | [Fact] method Test233 (line 1192) | [Fact] method Test234 (line 1197) | [Fact] method Test235 (line 1202) | [Fact] method Test236 (line 1207) | [Fact] method Test237 (line 1212) | [Fact] method Test238 (line 1217) | [Fact] method Test239 (line 1226) | [Fact] method Test241 (line 1231) | [Fact] method Test242 (line 1238) | [Fact] public void Test242() => and(x + y == z, x / y == 0, x != 0).Ch... method Test243 (line 1244) | [Fact] method Test244 (line 1260) | [Fact] method Test245 (line 1270) | [Fact] method Test246 (line 1284) | [Fact] method Test247 (line 1295) | [Fact] method Test248 (line 1304) | [Fact] method Test249 (line 1315) | [Fact] method Test250 (line 1325) | [Fact] method Test251 (line 1341) | [Fact] method Test252 (line 1355) | [Fact] method Test253_a (line 1369) | [Fact] method Test253_b (line 1389) | [Fact] method Test253 (line 1419) | [Fact] method Kinematic (line 1453) | And Kinematic(Symbol s, Symbol u, Symbol v, Symbol a, Symbol t) => method PSE_Example_2_6 (line 1459) | [Fact] method PSE_Example_2_7 (line 1496) | [Fact] method PSE_Example_2_8 (line 1529) | [Fact] method Kinematic (line 1581) | And Kinematic(Symbol sA, Symbol sB, Symbol vA, Symbol vB, Symbol a, Sy... method PSE_Example_2_12 (line 1586) | [Fact] method PSE_Example_4_3 (line 1640) | [Fact] method PSE_Example_4_3_KinematicObjectABC (line 1720) | [Fact] method PSE_5E_Example_4_5 (line 1812) | [Fact] method PSE_5E_Example_4_6 (line 1909) | [Fact] method PSE_5E_Example_4_7 (line 2026) | [Fact] method PSE_5E_P4_9 (line 2173) | [Fact] method SumDifferenceFormulaFuncTest (line 2308) | [Fact] method SumDifferenceFormulaAFuncTest (line 2361) | [Fact] method SinCosToTanFuncTest (line 2445) | [Fact] method PSE_5E_P4_11 (line 2466) | [Fact] method PSE_5E_P4_13 (line 2592) | [Fact] method PSE_5E_P4_15 (line 2670) | [Fact] method PSE_5E_P4_17 (line 2759) | [Fact] method PSE_5E_P4_19 (line 2869) | [Fact] method PSE_5E_P4_21 (line 2973) | [Fact] method PSE_5E_P4_23 (line 3054) | [Fact] method PSE_5E_E5_1 (line 3286) | [Fact] method PSE_5E_E5_4 (line 3477) | [Fact] method PSE_5E_E5_6 (line 3591) | [Fact] method PSE_5E_E5_9 (line 3780) | [Fact] method PSE_5E_E5_10 (line 3872) | [Fact] method PSE_5E_E5_10_Obj3 (line 4082) | [Fact] method PSE_5E_E5_12 (line 4197) | [Fact] method PSE_5E_E5_13 (line 4310) | [Fact] method PSE_5E_E5_14 (line 4458) | [Fact] method PSE_5E_E5_14_Obj5 (line 4644) | [Fact] method PSE_5E_P5_25 (line 4745) | [Fact] method PSE_5E_P5_25_Obj (line 4863) | [Fact] method PSE_5E_P5_31 (line 4920) | [Fact] method PSE_5E_P5_31_Obj (line 5115) | [Fact] method PSE_5E_P5_55 (line 5235) | [Fact] method PSE_5E_P5_59 (line 5388) | [Fact] method PSE_5E_P5_69 (line 5494) | [Fact] method PSE_5E_E7_7 (line 5591) | [Fact] method PSE_5E_E7_8 (line 5662) | [Fact] method PSE_5E_E7_11 (line 5739) | [Fact] method PSE_6E_P7_3 (line 5829) | [Fact] method PSE_5E_P7_23 (line 5881) | [Fact] method PSE_5E_P7_33 (line 5925) | [Fact] method PSE_5E_P7_35 (line 6036) | [Fact] method PSE_5E_P7_39 (line 6169) | [Fact] method PSE_5E_P7_41 (line 6237) | [Fact] method PSE_5E_P7_55 (line 6326) | [Fact] method PSE_5E_E8_2 (line 6361) | [Fact] method PSE_5E_E8_3 (line 6447) | [Fact] method PSE_5E_E8_4 (line 6578) | [Fact] method PSE_5E_Example_8_5 (line 6671) | [Fact]