0022904: Clean up sccsid variables
[occt.git] / src / Expr / Expr_ArcTangent.cxx
CommitLineData
7fd59977 1// Copyright: Matra-Datavision 1991
2// File: Expr_ArcTangent.cxx
3// Created: Mon May 27 11:44:23 1991
4// Author: Arnaud BOUZY
5// <adn>
6
7
8#include <Expr_ArcTangent.ixx>
9#include <Expr_NumericValue.hxx>
10#include <Expr_Tangent.hxx>
11#include <Expr_Division.hxx>
12#include <Expr_Square.hxx>
13#include <Expr_Sum.hxx>
14#include <Expr_Operators.hxx>
15#include <Expr.hxx>
16
17Expr_ArcTangent::Expr_ArcTangent (const Handle(Expr_GeneralExpression)& exp)
18{
19 CreateOperand(exp);
20}
21
22Handle(Expr_GeneralExpression) Expr_ArcTangent::ShallowSimplified () const
23{
24 Handle(Expr_GeneralExpression) op = Operand();
25 if (op->IsKind(STANDARD_TYPE(Expr_NumericValue))) {
26 Handle(Expr_NumericValue) valop = Handle(Expr_NumericValue)::DownCast(op);
27 return new Expr_NumericValue(ATan(valop->GetValue()));
28 }
29 if (op->IsKind(STANDARD_TYPE(Expr_Tangent))) {
30 return op->SubExpression(1);
31 }
32 Handle(Expr_ArcTangent) me = this;
33 return me;
34}
35
36Handle(Expr_GeneralExpression) Expr_ArcTangent::Copy () const
37{
38 return new Expr_ArcTangent(Expr::CopyShare(Operand()));
39}
40
41Standard_Boolean Expr_ArcTangent::IsIdentical (const Handle(Expr_GeneralExpression)& Other) const
42{
43 if (!Other->IsKind(STANDARD_TYPE(Expr_ArcTangent))) {
44 return Standard_False;
45 }
46 Handle(Expr_GeneralExpression) op = Operand();
47 return op->IsIdentical(Other->SubExpression(1));
48}
49
50Standard_Boolean Expr_ArcTangent::IsLinear () const
51{
52 if (ContainsUnknowns()) {
53 return Standard_False;
54 }
55 return Standard_True;
56}
57
58Handle(Expr_GeneralExpression) Expr_ArcTangent::Derivative (const Handle(Expr_NamedUnknown)& X) const
59{
60 if (!Contains(X)) {
61 return new Expr_NumericValue(0.0);
62 }
63 Handle(Expr_GeneralExpression) op = Operand();
64 Handle(Expr_GeneralExpression) derop = op->Derivative(X);
65
66 Handle(Expr_Square) sq = new Expr_Square(Expr::CopyShare(op));
67 // 1 + X2
68 Handle(Expr_Sum) thesum = 1.0 + sq->ShallowSimplified();
69
70 // ArcTangent'(F(X)) = F'(X)/(1+F(X)2)
71 Handle(Expr_Division) thediv = derop / thesum->ShallowSimplified();
72
73 return thediv->ShallowSimplified();
74}
75
76Standard_Real Expr_ArcTangent::Evaluate(const Expr_Array1OfNamedUnknown& vars, const TColStd_Array1OfReal& vals) const
77{
78 return ::ATan(Operand()->Evaluate(vars,vals));
79}
80
81TCollection_AsciiString Expr_ArcTangent::String() const
82{
83 TCollection_AsciiString str("ATan(");
84 str += Operand()->String();
85 str += ")";
86 return str;
87}