0022904: Clean up sccsid variables
[occt.git] / src / Expr / Expr_Square.cxx
1 // Copyright:   Matra-Datavision 1991
2 // File:        Expr_Square.cxx
3 // Created:     Fri Apr 19 10:05:26 1991
4 // Author:      Arnaud BOUZY
5 //              <adn>
6
7 #include <Expr_Square.ixx>
8 #include <Expr_NumericValue.hxx>
9 #include <Expr_SquareRoot.hxx>
10 #include <Expr_SequenceOfGeneralExpression.hxx>
11 #include <Expr_Product.hxx>
12 #include <Expr_Exponentiate.hxx>
13 #include <Expr_Operators.hxx>
14 #include <Expr.hxx>
15
16 Expr_Square::Expr_Square (const Handle(Expr_GeneralExpression)& exp)
17 {
18   CreateOperand(exp);
19 }
20
21 Handle(Expr_GeneralExpression) Expr_Square::ShallowSimplified () const
22 {
23   Handle(Expr_GeneralExpression) myexp = Operand();
24   if (myexp->IsKind(STANDARD_TYPE(Expr_NumericValue))) {
25     Handle(Expr_NumericValue) myNVexp = Handle(Expr_NumericValue)::DownCast(myexp);
26     return new Expr_NumericValue(Square(myNVexp->GetValue()));
27   }
28   if (myexp->IsKind(STANDARD_TYPE(Expr_SquareRoot))) {
29     return myexp->SubExpression(1);
30   }
31   if (myexp->IsKind(STANDARD_TYPE(Expr_Square))) {
32     Handle(Expr_GeneralExpression) op = myexp->SubExpression(1);
33     Handle(Expr_NumericValue) val4 = new Expr_NumericValue(4.0);
34     return new Expr_Exponentiate(op,val4);
35   }
36   if (myexp->IsKind(STANDARD_TYPE(Expr_Exponentiate))) {
37     Handle(Expr_GeneralExpression) op = myexp->SubExpression(1);
38     Handle(Expr_GeneralExpression) puis = myexp->SubExpression(2);
39     Handle(Expr_Product) newpuis = 2.0 * puis;
40     Handle(Expr_Exponentiate) res = new Expr_Exponentiate(op,newpuis->ShallowSimplified());
41     return res->ShallowSimplified();
42   }
43   Handle(Expr_Square) me = this;
44   return me;
45 }
46
47 Handle(Expr_GeneralExpression) Expr_Square::Copy () const
48 {
49   return new Expr_Square(Expr::CopyShare(Operand()));
50 }
51
52 Standard_Boolean Expr_Square::IsIdentical (const Handle(Expr_GeneralExpression)& Other) const
53 {
54   if (Other->IsKind(STANDARD_TYPE(Expr_Square))) {
55     return Operand()->IsIdentical(Other->SubExpression(1));
56   }
57   return Standard_False;
58 }
59
60 Standard_Boolean Expr_Square::IsLinear () const
61 {
62   return !ContainsUnknowns();
63 }
64
65 Handle(Expr_GeneralExpression) Expr_Square::Derivative (const Handle(Expr_NamedUnknown)& X) const
66 {
67   if (!Contains(X)) {
68     return  new Expr_NumericValue(0.0);
69   }
70   Handle(Expr_GeneralExpression) myder = Operand();
71   myder = myder->Derivative(X);
72   Handle(Expr_NumericValue) coef = new Expr_NumericValue(2.0);
73   Expr_SequenceOfGeneralExpression ops;
74   ops.Append(coef);
75   ops.Append(myder);
76   Handle(Expr_GeneralExpression) usedop = Expr::CopyShare(Operand());
77   ops.Append(usedop);
78   Handle(Expr_Product) resu = new Expr_Product(ops);
79   return resu->ShallowSimplified();
80 }
81
82 Standard_Real Expr_Square::Evaluate(const Expr_Array1OfNamedUnknown& vars, const TColStd_Array1OfReal& vals) const
83 {
84   Standard_Real val = Operand()->Evaluate(vars,vals);
85   return val*val;
86 }
87
88 TCollection_AsciiString Expr_Square::String() const
89 {
90   TCollection_AsciiString str;
91   Handle(Expr_GeneralExpression) op = Operand();
92   if (op->NbSubExpressions() > 1) {
93     str = "(";
94     str += op->String();
95     str += ")^2";
96   }
97   else {
98     str = op->String();
99     str += "^2";
100   }
101   return str;
102 }