SCM Repository
[diderot] Diff of /trunk/src/basis/basis-vars.sml
Diff of /trunk/src/basis/basis-vars.sml
Parent Directory
| 
Revision Log
| 
Patch
| 193 |
[Ty.T_String] --> Ty.T_Image{dim=d, shape=dd} |
[Ty.T_String] --> Ty.T_Image{dim=d, shape=dd} |
| 194 |
end)) |
end)) |
| 195 |
|
|
| 196 |
|
val fn_modulate = polyVar (N.fn_modulate, all([NK], |
| 197 |
|
fn [Ty.DIM d] => let |
| 198 |
|
val t = Ty.T_Tensor(Ty.Shape[Ty.DimVar d]) |
| 199 |
|
in |
| 200 |
|
[t, t] --> t |
| 201 |
|
end)) |
| 202 |
|
|
| 203 |
val fn_pow = polyVar (N.fn_pow, ty([Ty.realTy, Ty.realTy] --> Ty.realTy)) |
val fn_pow = polyVar (N.fn_pow, ty([Ty.realTy, Ty.realTy] --> Ty.realTy)) |
| 204 |
|
|
| 205 |
(* |
(* |
| 209 |
val fn_sin = polyVar (N.fn_sin, ty([Ty.realTy] --> Ty.realTy)) |
val fn_sin = polyVar (N.fn_sin, ty([Ty.realTy] --> Ty.realTy)) |
| 210 |
|
|
| 211 |
(* kernels *) |
(* kernels *) |
| 212 |
val kn_bspln3 = polyVar (N.kn_bspln3, ty(Ty.T_Kernel(Ty.DiffConst 2))) |
val kn_bspln3 = monoVar (N.kn_bspln3, Ty.T_Kernel(Ty.DiffConst 2)) |
| 213 |
val kn_tent = polyVar (N.kn_tent, ty(Ty.T_Kernel(Ty.DiffConst 0))) |
val kn_tent = monoVar (N.kn_tent, Ty.T_Kernel(Ty.DiffConst 0)) |
| 214 |
|
|
| 215 |
|
(* internal variables *) |
| 216 |
|
val i2r = monoVar (Atom.atom "$i2r", [Ty.T_Int] --> Ty.realTy) (* integer to real conversion *) |
| 217 |
|
|
| 218 |
end (* local *) |
end (* local *) |
| 219 |
end |
end |
|
|
Legend:
| Removed from v.82 |
|
| changed lines |
| |
Added in v.83 |
|
|
