C# LiveGeometry.TutorParser.HardCodedParserMain.Get方法代码示例

        public Page75Problem17(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 75 Problem 17";

            Point v = new Point("V", 3, -7); points.Add(v);
            Point z = new Point("Z", 0, 0); points.Add(z);
            Point y = new Point("Y", 6, 0); points.Add(y);
            Point x = new Point("X", 7, 0); points.Add(x);
            Point u = new Point("U", 10, -7); points.Add(u);
            Point w = new Point("W", 13, 0); points.Add(w);

               //     System.Diagnostics.Debug.WriteLine(new Segment(b, c).FindIntersection(new Segment(a, d)));

            Segment vz = new Segment(v, z); segments.Add(vz);
            Segment vy = new Segment(v, y); segments.Add(vy);
            Segment ux = new Segment(u, x); segments.Add(ux);
            Segment uw = new Segment(u, w); segments.Add(uw);

            List<Point> pts = new List<Point>();
            pts.Add(z);
            pts.Add(y);
            pts.Add(x);
            pts.Add(w);
            collinear.Add(new Collinear(pts));

                        parser = new LiveGeometry.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricParallel(vz, ux));
            given.Add(new GeometricParallel(vy, uw));
            given.Add(new GeometricCongruentSegments((Segment)parser.Get(new Segment(w, x)), (Segment)parser.Get(new Segment(y, z))));

            goals.Add(new GeometricCongruentTriangles(new Triangle(w, x, u), new Triangle(y, z, v)));
        }

        public Page145Problem04(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 145 Problem 4";

            Point a = new Point("A", 0, 0); points.Add(a);
            Point b = new Point("B", 5, 0); points.Add(b);
            Point d = new Point("D", 1, 4); points.Add(d);
            Point c = new Point("C", 6, 4); points.Add(c);
            Point l = new Point("L", 2, 3); points.Add(l);
            Point m = new Point("M", 4, 1); points.Add(m);

            Segment ab = new Segment(a, b); segments.Add(ab);
            Segment cd = new Segment(c, d); segments.Add(cd);
            Segment ad = new Segment(a, d); segments.Add(ad);
            Segment bc = new Segment(b, c); segments.Add(bc);
            Segment al = new Segment(a, l); segments.Add(al);
            Segment cm = new Segment(c, m); segments.Add(cm);

            List<Point> pts = new List<Point>();
            pts.Add(d);
            pts.Add(l);
            pts.Add(m);
            pts.Add(b);
            collinear.Add(new Collinear(pts));

                        parser = new LiveGeometry.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricCongruentSegments(ab, cd));
            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(c, d, l)), (Angle)parser.Get(new Angle(m, b, a))));
            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(d, a, l)), (Angle)parser.Get(new Angle(m, c, b))));

            goals.Add(new GeometricCongruentSegments(al, cm));
        }

        public Page301Problem42(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 301 Problem 42";

            Point a = new Point("A", 0, 0); points.Add(a);
            Point b = new Point("B", 0, 6); points.Add(b);
            Point c = new Point("C", 4, 3); points.Add(c);
            Point d = new Point("D", 8, 0); points.Add(d);

            Segment ab = new Segment(a, b); segments.Add(ab);
            Segment ac = new Segment(a, c); segments.Add(ac);
            Segment ad = new Segment(a, d); segments.Add(ad);

            List<Point> pts = new List<Point>();
            pts.Add(b);
            pts.Add(c);
            pts.Add(d);
            collinear.Add(new Collinear(pts));

                        parser = new LiveGeometry.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new Midpoint((InMiddle)parser.Get(new InMiddle( c, (Segment)parser.Get(new Segment(b, d))))));
            given.Add(new RightAngle(b, a, d));

            goals.Add(new GeometricCongruentSegments((Segment)parser.Get(new Segment(b, c)), ac));
            goals.Add(new GeometricCongruentSegments((Segment)parser.Get(new Segment(d, c)), ac));
        }

        public Page73Problem8(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 73 Problem 8";

            Point t = new Point("T", -4, 5); points.Add(t);
            Point n = new Point("N", 0, 5); points.Add(n);
            Point s = new Point("S", 0, 0); points.Add(s);
            Point h = new Point("H", 0, -5); points.Add(h);
            Point u = new Point("U", 4, -5); points.Add(u);

            Segment nt = new Segment(n, t); segments.Add(nt);
            Segment hu = new Segment(h, u); segments.Add(hu);

            List<Point> pts = new List<Point>();
            pts.Add(t);
            pts.Add(s);
            pts.Add(u);
            collinear.Add(new Collinear(pts));

            pts = new List<Point>();
            pts.Add(n);
            pts.Add(s);
            pts.Add(h);
            collinear.Add(new Collinear(pts));

                        parser = new LiveGeometry.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(s, u, h)), (Angle)parser.Get(new Angle(n, t, s))));
            given.Add(new GeometricCongruentSegments((Segment)parser.Get(new Segment(n, s)), (Segment)parser.Get(new Segment(s, h))));

            goals.Add(new GeometricCongruentTriangles(new Triangle(s, n, t), new Triangle(s, h, u)));
        }

        public Page168Problem34(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 168 Problem 34";

            Point a = new Point("A", 1, 7); points.Add(a);
            Point b = new Point("B", 1, 4); points.Add(b);
            Point c = new Point("C", 8, 0); points.Add(c);
            Point d = new Point("D", 8, 4); points.Add(d);
            Point e = new Point("E", 4, 4); points.Add(e);

            Segment ab = new Segment(a, b); segments.Add(ab);
            Segment cd = new Segment(c, d); segments.Add(cd);

            List<Point> pts = new List<Point>();
            pts.Add(a);
            pts.Add(e);
            pts.Add(c);
            collinear.Add(new Collinear(pts));

            pts = new List<Point>();
            pts.Add(b);
            pts.Add(e);
            pts.Add(d);
            collinear.Add(new Collinear(pts));

                        parser = new LiveGeometry.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(b, a, e)),
                                                   (Angle)parser.Get(new Angle(a, e, b))));
            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(d, e, c)),
                                                   (Angle)parser.Get(new Angle(e, c, d))));

            goals.Add(new GeometricParallel(ab, cd));
        }

        public Page66Problem16(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 66 Problem 16";

            Point a = new Point("A", 1, 5); points.Add(a);
            Point b = new Point("B", 8, 5); points.Add(b);
            Point c = new Point("C", 7, 0); points.Add(c);
            Point d = new Point("D", 0, 0); points.Add(d);

            Segment ba = new Segment(b, a); segments.Add(ba);
            Segment bc = new Segment(b, c); segments.Add(bc);
            Segment ad = new Segment(a, d); segments.Add(ad);
            Segment bd = new Segment(b, d); segments.Add(bd);
            Segment cd = new Segment(c, d); segments.Add(cd);

                        parser = new LiveGeometry.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricCongruentSegments(ba, cd));
            given.Add(new GeometricCongruentSegments(bc, ad));
            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(a, b, d)), (Angle)parser.Get(new Angle(c, d, b))));
            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(a, d, b)), (Angle)parser.Get(new Angle(c, b, d))));

            goals.Add(new GeometricCongruentTriangles(new Triangle(a, b, d), new Triangle(c, d, b)));
        }

        public IPage123Example6(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Book I Page 123 Example 6";

            Point a = new Point("A", 3.5, 4); points.Add(a);
            Point b = new Point("B", 0, 0); points.Add(b);
            Point c = new Point("C", 7, 0); points.Add(c);
            Point d = new Point("D", 2, 0); points.Add(d);
            Point e = new Point("E", 5, 0); points.Add(e);

            Segment ab = new Segment(a, b); segments.Add(ab);
            Segment ac = new Segment(a, c); segments.Add(ac);
            Segment ad = new Segment(a, d); segments.Add(ad);
            Segment ae = new Segment(a, e); segments.Add(ae);

            List<Point> pts = new List<Point>();
            pts.Add(b);
            pts.Add(d);
            pts.Add(e);
            pts.Add(c);
            collinear.Add(new Collinear(pts));

                        parser = new LiveGeometry.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new IsoscelesTriangle((Triangle)parser.Get(new Triangle(a, b, c))));
            given.Add(new GeometricCongruentSegments((Segment)parser.Get(new Segment(b, e)), (Segment)parser.Get(new Segment(c, d))));

            goals.Add(new GeometricCongruentSegments(ad, ae));
        }

        public Page7Prob26(bool onoff, bool complete)
            : base(onoff, complete)
        {
            Point a = new Point("A", 0, 0); points.Add(a);
            Point b = new Point("B", 0, 4); points.Add(b);
            Point c = new Point("C", 4, 4); points.Add(c);
            Point d = new Point("D", 4, 0); points.Add(d);
            Point o = new Point("O", 2, 2); points.Add(o);

            Segment bc = new Segment(b, c); segments.Add(bc);
            Segment cd = new Segment(c, d); segments.Add(cd);
            Segment ab = new Segment(a, b); segments.Add(ab);
            Segment da = new Segment(d, a); segments.Add(da);

            circles.Add(new Circle(o, 2));

            parser = new LiveGeometry.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            known.AddSegmentLength(da, 4);
            known.AddSegmentLength(cd, 4);

            given.Add(new RightAngle((Angle)parser.Get(new Angle(a, b, c))));
            given.Add(new RightAngle((Angle)parser.Get(new Angle(b, c, d))));
            given.Add(new RightAngle((Angle)parser.Get(new Angle(c, d, a))));
            given.Add(new RightAngle((Angle)parser.Get(new Angle(d, a, b))));

            List<Point> wanted = new List<Point>();
            wanted.Add(new Point("", 2, 1));
            wanted.Add(new Point("", 0.5, 0.5));
            wanted.Add(new Point("", 3.5, 0.5));
            wanted.Add(new Point("", 2, -1));
            goalRegions = parser.implied.GetAtomicRegionsByPoints(wanted);

            SetSolutionArea(8 + 2 * System.Math.PI);
        }

        //Demonstrates: Minor Arcs Congruent if central angles congruent
        public Test10(bool onoff, bool complete)
            : base(onoff, complete)
        {
            //Circle center
            Point o = new Point("O", 0, 0); points.Add(o);

            //Vertices for angle TOV, a central angle of circle O, with one endpoint at 90 degrees and another at 30 degrees
            Point t = new Point("T", -3, 4); points.Add(t);
            Point v = new Point("V", 0, 5); points.Add(v);

            //Vertices for angle VOA, a central angle of circle C, with one endpoint at 90 degrees and another at 30 degrees
            Point a = new Point("A", 3, 4); points.Add(a);

            Segment ot = new Segment(o, t); segments.Add(ot);
            Segment ov = new Segment(o, v); segments.Add(ov);
            Segment oa = new Segment(o, a); segments.Add(oa);

            Circle circleO = new Circle(o, 5.0);
            circles.Add(circleO);

            parser = new LiveGeometry.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricCongruentArcs((MinorArc)parser.Get(new MinorArc(circleO, t, v)), (MinorArc)parser.Get(new MinorArc(circleO, v, a))));

            goals.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(t, o, v)), (Angle)parser.Get(new Angle(v, o, a))));
        }

        public Page197Problem35(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 197 Problem 35";

            Point a = new Point("A", 0, 5); points.Add(a);
            Point b = new Point("B", 3, 8); points.Add(b);
            Point c = new Point("C", 5, 0); points.Add(c);
            Point d = new Point("D", 9000, 5); points.Add(d);
            Point e = new Point("E", 0, 0); points.Add(e);
            Point f = new Point("F", 0, 30); points.Add(f);

            Segment ab = new Segment(a, b); segments.Add(ab);
            Segment ac = new Segment(a, c); segments.Add(ac);
            Segment ad = new Segment(a, d); segments.Add(ad);

            List<Point> pts = new List<Point>();
            pts.Add(e);
            pts.Add(a);
            pts.Add(f);
            collinear.Add(new Collinear(pts));

                        parser = new LiveGeometry.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(f, a, b)),
                                                   (Angle)parser.Get(new Angle(d, a, b))));

            goals.Add(new Strengthened(parser.GetIntersection(new Segment(a, b), new Segment(a, c)),
                                       new Perpendicular(parser.GetIntersection(new Segment(a, b), new Segment(a, c)))));
        }

        public Page113Problem7(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 113 Problem 7";

            Point a = new Point("A", -4, 3);          points.Add(a);
            Point b = new Point("B", -4.0 / 3.0, -1); points.Add(b);
            Point c = new Point("C", 0, 0);           points.Add(c);
            Point p = new Point("P", 4, 3);           points.Add(p);
            Point q = new Point("Q", 4.0 / 3.0, -1);  points.Add(q);

            Segment ab = new Segment(a, b); segments.Add(ab);
            Segment pq = new Segment(p, q); segments.Add(pq);

            List<Point> pts = new List<Point>();
            pts.Add(a);
            pts.Add(c);
            pts.Add(q);
            collinear.Add(new Collinear(pts));

            pts = new List<Point>();
            pts.Add(p);
            pts.Add(c);
            pts.Add(b);
            collinear.Add(new Collinear(pts));

            parser = new LiveGeometry.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricCongruentSegments((Segment)parser.Get(new Segment(b, c)), (Segment)parser.Get(new Segment(c, q))));
            given.Add(new GeometricCongruentSegments((Segment)parser.Get(new Segment(a, c)), (Segment)parser.Get(new Segment(c, p))));

            goals.Add(new GeometricCongruentTriangles(new Triangle(a, b, c), new Triangle(p, q, c)));
        }

        public Page1Col1Prob5(bool onoff, bool complete)
            : base(onoff, complete)
        {
            Point a = new Point("A", -3.5, 0); points.Add(a);
            Point b = new Point("B", 3.5, 0); points.Add(b);
            Point c = new Point("C", 0, -3.5 * System.Math.Sqrt(3)); points.Add(c);

            Point d = new Point("D", 0, 0); points.Add(d);
            Point e = new Point("E", -1.75, -3.5 * System.Math.Sqrt(3.0) / 2.0); points.Add(e);
            Point f = new Point("F", 1.75, -3.5 * System.Math.Sqrt(3.0) / 2.0); points.Add(f);

            //Segment ad = new Segment(a, d); segments.Add(ad);
            //Segment bd = new Segment(b, d); segments.Add(bd);
            //Segment ce = new Segment(c, e); segments.Add(ce);

            circles.Add(new Circle(a, 3.5));
            circles.Add(new Circle(b, 3.5));
            circles.Add(new Circle(c, 3.5));

            parser = new LiveGeometry.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            known.AddSegmentLength(new Segment(a, d), 3.5);
            //known.AddSegmentLength(new Segment(b, d), 3.5);
            //known.AddSegmentLength(new Segment(c, e), 3.5);

            // The goal is the entire area of the figure.
            goalRegions.Add(parser.implied.GetAtomicRegionByPoint(new Point("", 0, -1)));

            given.Add(new GeometricCongruentSegments((Segment)parser.Get(new Segment(a, d)), (Segment)parser.Get(new Segment(b, d))));
            given.Add(new GeometricCongruentSegments((Segment)parser.Get(new Segment(a, d)), (Segment)parser.Get(new Segment(e, c))));

            SetSolutionArea(1.975367389);
        }

        public Page76Problem8(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 76 Problem 8";

            Point s = new Point("S", 2, 8);  points.Add(s);
            Point r = new Point("R", 1, 4);  points.Add(r);
            Point t = new Point("T", 5, 4);  points.Add(t);
            Point q = new Point("Q", 4, 0);  points.Add(q);
            Point p = new Point("P", 0, 0);  points.Add(p);

               //     System.Diagnostics.Debug.WriteLine(new Segment(b, c).FindIntersection(new Segment(p, d)));

            Segment st = new Segment(s, t); segments.Add(st);
            Segment rt = new Segment(r, t); segments.Add(rt);
            Segment rq = new Segment(r, q); segments.Add(rq);
            Segment pq = new Segment(p, q); segments.Add(pq);

            List<Point> pts = new List<Point>();
            pts.Add(s);
            pts.Add(r);
            pts.Add(p);
            collinear.Add(new Collinear(pts));

                        parser = new LiveGeometry.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricParallel(st, rq));
            given.Add(new GeometricCongruentSegments((Segment)parser.Get(new Segment(s, r)), (Segment)parser.Get(new Segment(r, p))));
            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(s, r, t)), (Angle)parser.Get(new Angle(r, p, q))));

            goals.Add(new GeometricCongruentSegments(st, rq));
        }

        public Page3Prob23(bool onoff, bool complete)
            : base(onoff, complete)
        {
            Point q = new Point("Q", -2, 0); points.Add(q);
            Point p = new Point("P", 2, 0); points.Add(p);
            Point o = new Point("O", 0, 0); points.Add(o);

            List<Point> pts = new List<Point>();
            pts.Add(q);
            pts.Add(o);
            pts.Add(p);
            collinear.Add(new Collinear(pts));

            circles.Add(new Circle(o, 4));
            circles.Add(new Circle(p, 2));
            circles.Add(new Circle(q, 2));

            parser = new LiveGeometry.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            known.AddSegmentLength((Segment)parser.Get(new Segment(o, q)), 2);
            known.AddSegmentLength((Segment)parser.Get(new Segment(p, o)), 2);

            List<Point> wanted = new List<Point>();
            wanted.Add(new Point("", 0, -3));
            wanted.Add(new Point("", -2, -1));
            wanted.Add(new Point("", -2, 1));
            goalRegions = parser.implied.GetAtomicRegionsByPoints(wanted);

            SetSolutionArea(8 * System.Math.PI);
        }

        public Page146Problem17(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 146 Problem 17";

            Point d = new Point("D", 2, 3); points.Add(d);
            Point b = new Point("B", 10, 0); points.Add(b);
            Point a = new Point("A", 0, 0); points.Add(a);
            Point c = new Point("C", 8, 3); points.Add(c);
            Point m = new Point("M", 5, 0); points.Add(m);

            Segment bc = new Segment(b, c); segments.Add(bc);
            Segment ad = new Segment(a, d); segments.Add(ad);
            Segment cd = new Segment(c, d); segments.Add(cd);
            Segment bd = new Segment(b, d); segments.Add(bd);
            Segment ac = new Segment(a, c); segments.Add(ac);
            Segment dm = new Segment(d, m); segments.Add(dm);
            Segment cm = new Segment(c, m); segments.Add(cm);

            List<Point> pts = new List<Point>();
            pts.Add(a);
            pts.Add(m);
            pts.Add(b);
            collinear.Add(new Collinear(pts));

                        parser = new LiveGeometry.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricCongruentSegments((Segment)parser.Get(new Segment(a, m)), (Segment)parser.Get(new Segment(b, m))));
            given.Add(new GeometricCongruentSegments(ad, bc));
            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(m, d, c)), (Angle)parser.Get(new Angle(m, c, d))));
        }