Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
clean-and-itasks
clean-sapl
Commits
68369f1d
Commit
68369f1d
authored
Feb 06, 2017
by
Bas Lijnse
Browse files
Added missing trigonometrical functions to clean flavour
parent
f2e6451a
Changes
2
Hide whitespace changes
Inline
Side-by-side
src/Sapl/Target/CleanFlavour.icl
View file @
68369f1d
...
@@ -18,9 +18,12 @@ cleanFlavour = fromFlavourRep {
...
@@ -18,9 +18,12 @@ cleanFlavour = fromFlavourRep {
{
sapl_fun
=
"powI"
,
arity
=
2
,
data_cons
=
Nothing
,
ext_fun
=
Just
"_pow"
,
inline_exp
=
Just
"Math.pow(:!1:,:!2:)"
},
{
sapl_fun
=
"powI"
,
arity
=
2
,
data_cons
=
Nothing
,
ext_fun
=
Just
"_pow"
,
inline_exp
=
Just
"Math.pow(:!1:,:!2:)"
},
{
sapl_fun
=
"powR"
,
arity
=
2
,
data_cons
=
Nothing
,
ext_fun
=
Just
"_pow"
,
inline_exp
=
Just
"Math.pow(:!1:,:!2:)"
},
{
sapl_fun
=
"powR"
,
arity
=
2
,
data_cons
=
Nothing
,
ext_fun
=
Just
"_pow"
,
inline_exp
=
Just
"Math.pow(:!1:,:!2:)"
},
{
sapl_fun
=
"sqrt"
,
arity
=
1
,
data_cons
=
Nothing
,
ext_fun
=
Just
"_sqrt"
,
inline_exp
=
Just
"Math.sqrt(:!1:)"
},
{
sapl_fun
=
"sqrt"
,
arity
=
1
,
data_cons
=
Nothing
,
ext_fun
=
Just
"_sqrt"
,
inline_exp
=
Just
"Math.sqrt(:!1:)"
},
{
sapl_fun
=
"tan"
,
arity
=
1
,
data_cons
=
Nothing
,
ext_fun
=
Just
"_tan"
,
inline_exp
=
Just
"Math.tan(:!1:)"
},
{
sapl_fun
=
"atan"
,
arity
=
1
,
data_cons
=
Nothing
,
ext_fun
=
Just
"_atan"
,
inline_exp
=
Just
"Math.atan(:!1:)"
},
{
sapl_fun
=
"atan"
,
arity
=
1
,
data_cons
=
Nothing
,
ext_fun
=
Just
"_atan"
,
inline_exp
=
Just
"Math.atan(:!1:)"
},
{
sapl_fun
=
"sin"
,
arity
=
1
,
data_cons
=
Nothing
,
ext_fun
=
Just
"_sin"
,
inline_exp
=
Just
"Math.sin(:!1:)"
},
{
sapl_fun
=
"sin"
,
arity
=
1
,
data_cons
=
Nothing
,
ext_fun
=
Just
"_sin"
,
inline_exp
=
Just
"Math.sin(:!1:)"
},
{
sapl_fun
=
"asin"
,
arity
=
1
,
data_cons
=
Nothing
,
ext_fun
=
Just
"_asin"
,
inline_exp
=
Just
"Math.asin(:!1:)"
},
{
sapl_fun
=
"cos"
,
arity
=
1
,
data_cons
=
Nothing
,
ext_fun
=
Just
"_cos"
,
inline_exp
=
Just
"Math.cos(:!1:)"
},
{
sapl_fun
=
"cos"
,
arity
=
1
,
data_cons
=
Nothing
,
ext_fun
=
Just
"_cos"
,
inline_exp
=
Just
"Math.cos(:!1:)"
},
{
sapl_fun
=
"acos"
,
arity
=
1
,
data_cons
=
Nothing
,
ext_fun
=
Just
"_acos"
,
inline_exp
=
Just
"Math.acos(:!1:)"
},
{
sapl_fun
=
"neg"
,
arity
=
1
,
data_cons
=
Nothing
,
ext_fun
=
Just
"_neg"
,
inline_exp
=
Just
":!1: * -1"
},
{
sapl_fun
=
"neg"
,
arity
=
1
,
data_cons
=
Nothing
,
ext_fun
=
Just
"_neg"
,
inline_exp
=
Just
":!1: * -1"
},
{
sapl_fun
=
"negR"
,
arity
=
1
,
data_cons
=
Nothing
,
ext_fun
=
Just
"_neg"
,
inline_exp
=
Just
":!1: * -1"
},
{
sapl_fun
=
"negR"
,
arity
=
1
,
data_cons
=
Nothing
,
ext_fun
=
Just
"_neg"
,
inline_exp
=
Just
":!1: * -1"
},
{
sapl_fun
=
"negI"
,
arity
=
1
,
data_cons
=
Nothing
,
ext_fun
=
Just
"_neg"
,
inline_exp
=
Just
":!1: * -1"
},
{
sapl_fun
=
"negI"
,
arity
=
1
,
data_cons
=
Nothing
,
ext_fun
=
Just
"_neg"
,
inline_exp
=
Just
":!1: * -1"
},
...
...
src/clean.f
View file @
68369f1d
...
@@ -74,6 +74,12 @@
...
@@ -74,6 +74,12 @@
"ext_fun"
:
"_sqrt"
,
"ext_fun"
:
"_sqrt"
,
"inline_exp"
:
"Math.sqrt(:!1:)"
"inline_exp"
:
"Math.sqrt(:!1:)"
}
,
}
,
{
"sapl_fun"
:
"tan"
,
"arity"
:
1
,
"ext_fun"
:
"_tan"
,
"inline_exp"
:
"Math.tan(:!1:)"
}
,
{
{
"sapl_fun"
:
"atan"
,
"sapl_fun"
:
"atan"
,
"arity"
:
1
,
"arity"
:
1
,
...
@@ -86,11 +92,23 @@
...
@@ -86,11 +92,23 @@
"ext_fun"
:
"_sin"
,
"ext_fun"
:
"_sin"
,
"inline_exp"
:
"Math.sin(:!1:)"
"inline_exp"
:
"Math.sin(:!1:)"
}
,
}
,
{
"sapl_fun"
:
"asin"
,
"arity"
:
1
,
"ext_fun"
:
"_asin"
,
"inline_exp"
:
"Math.asin(:!1:)"
}
,
{
{
"sapl_fun"
:
"cos"
,
"sapl_fun"
:
"cos"
,
"arity"
:
1
,
"arity"
:
1
,
"ext_fun"
:
"_cos"
,
"ext_fun"
:
"_cos"
,
"inline_exp"
:
"Math.cos(:!1:)"
"inline_exp"
:
"Math.cos(:!1:)"
}
,
{
"sapl_fun"
:
"acos"
,
"arity"
:
1
,
"ext_fun"
:
"_acos"
,
"inline_exp"
:
"Math.acos(:!1:)"
}
,
}
,
{
{
"sapl_fun"
:
"neg"
,
"sapl_fun"
:
"neg"
,
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment