@@ -30,71 +30,71 @@ macro calculus_operator(Op)
30
30
ApproxFunBase. rangespace (A:: $WrappOp ) = A. rangespace
31
31
32
32
# # Constructors
33
- $ ConcOp (sp:: Space ,k) = $ ConcOp {typeof(sp),typeof(k),ApproxFunBase.prectype(sp)} (sp,k)
33
+ $ ConcOp (sp:: ApproxFunBase. Space ,k) = $ ConcOp {typeof(sp),typeof(k),ApproxFunBase.prectype(sp)} (sp,k)
34
34
35
35
$ Op (sp:: ApproxFunBase.UnsetSpace ,k) = $ ConcOp (sp,k)
36
36
$ Op (sp:: ApproxFunBase.UnsetSpace ,k:: Number ) = $ ConcOp (sp,k)
37
37
$ Op (sp:: ApproxFunBase.UnsetSpace ,k:: Real ) = $ ConcOp (sp,k)
38
38
$ Op (sp:: ApproxFunBase.UnsetSpace ,k:: Integer ) = $ ConcOp (sp,k)
39
39
40
- function $DefaultOp (sp:: Space , k)
40
+ function $DefaultOp (sp:: ApproxFunBase. Space , k)
41
41
csp= ApproxFunBase. canonicalspace (sp)
42
42
if ApproxFunBase. conversion_type (csp,sp)== csp # Conversion(sp,csp) is not banded, or sp==csp
43
43
error (" Implement $(string ($ Op)) ($(string (sp)) ,$k )" )
44
44
end
45
45
O = $ Op (csp,k)
46
- C = Conversion_maybeconcrete (sp, csp, Val (:forward ))
46
+ C = ApproxFunBase . Conversion_maybeconcrete (sp, csp, Val (:forward ))
47
47
Top = ApproxFunBase. TimesOperator ([O,C])
48
- $ WrappOp (Top, sp, k, rangespace (O))
48
+ $ WrappOp (Top, sp, k, ApproxFunBase . rangespace (O))
49
49
end
50
50
51
- $ DefaultOp (d,k) = $ Op (Space (d),k)
51
+ $ DefaultOp (d,k) = $ Op (ApproxFunBase . Space (d),k)
52
52
53
53
$ DefaultOp (sp) = $ Op (sp,1 )
54
- $ DefaultOp () = $ Op (UnsetSpace ())
55
- $ DefaultOp (k:: Number ) = $ Op (UnsetSpace (),k)
56
- $ DefaultOp (k:: Vector ) = $ Op (UnsetSpace (),k)
54
+ $ DefaultOp () = $ Op (ApproxFunBase . UnsetSpace ())
55
+ $ DefaultOp (k:: Number ) = $ Op (ApproxFunBase . UnsetSpace (),k)
56
+ $ DefaultOp (k:: AbstractVector ) = $ Op (ApproxFunBase . UnsetSpace (),k)
57
57
58
58
$ Op (x... ) = $ DefaultOp (x... )
59
- $ ConcOp (S:: Space ) = $ ConcOp (S,1 )
59
+ $ ConcOp (S:: ApproxFunBase. Space ) = $ ConcOp (S,1 )
60
60
61
- function Base. convert (:: Type{Operator{T}} ,D:: $ConcOp ) where T
61
+ function Base. convert (:: Type{ApproxFunBase. Operator{T}} ,D:: $ConcOp ) where T
62
62
if T== eltype (D)
63
63
D
64
64
else
65
65
$ ConcOp {typeof(D.space),typeof(D.order),T} (D. space, D. order)
66
66
end
67
67
end
68
68
69
- $ WrappOp (op:: Operator , order = 1 , d = domainspace (op), r = rangespace (op)) =
69
+ $ WrappOp (op:: ApproxFunBase. Operator , order = 1 , d = domainspace (op), r = rangespace (op)) =
70
70
$ WrappOp {typeof(op),typeof(d),typeof(r),typeof(order),eltype(op)} (op,order,d,r)
71
71
72
- function Base. convert (:: Type{Operator{T}} ,D:: $WrappOp ) where T
72
+ function Base. convert (:: Type{ApproxFunBase. Operator{T}} ,D:: $WrappOp ) where T
73
73
if T== eltype (D)
74
74
D
75
75
else
76
- op= ApproxFunBase. strictconvert (Operator{T},D. op)
77
- S = domainspace (D)
78
- R = rangespace (D)
79
- $ WrappOp (op,D. order,S,R):: Operator{T}
76
+ op= ApproxFunBase. strictconvert (ApproxFunBase . Operator{T},D. op)
77
+ S = ApproxFunBase . domainspace (D)
78
+ R = ApproxFunBase . rangespace (D)
79
+ $ WrappOp (op,D. order,S,R):: ApproxFunBase. Operator{T}
80
80
end
81
81
end
82
82
83
83
# # Routines
84
84
ApproxFunBase. domainspace (D:: $ConcOp ) = D. space
85
85
86
- Base. getindex (:: $ConcOp{UnsetSpace,OT,T} ,k:: Integer ,j:: Integer ) where {OT,T} =
86
+ Base. getindex (:: $ConcOp{ApproxFunBase. UnsetSpace,OT,T} ,k:: Integer ,j:: Integer ) where {OT,T} =
87
87
error (" Spaces cannot be inferred for operator" )
88
88
89
- ApproxFunBase. rangespace (D:: $ConcOp{UnsetSpace,T} ) where {T} = UnsetSpace ()
89
+ ApproxFunBase. rangespace (D:: $ConcOp{ApproxFunBase. UnsetSpace,T} ) where {T} = UnsetSpace ()
90
90
91
91
# promoting domain space is allowed to change range space
92
92
# for integration, we fall back on existing conversion for now
93
- ApproxFunBase. promotedomainspace (D:: $Op ,sp:: UnsetSpace ) = D
93
+ ApproxFunBase. promotedomainspace (D:: $Op , sp:: ApproxFunBase. UnsetSpace ) = D
94
94
95
95
96
- function ApproxFunBase. promotedomainspace (D:: $Op ,sp:: Space )
97
- if isambiguous (domain (sp))
96
+ function ApproxFunBase. promotedomainspace (D:: $Op , sp:: ApproxFunBase. Space )
97
+ if ApproxFunBase . isambiguous (domain (sp))
98
98
$ Op (typeof (sp)(domain (D)),D. order)
99
99
else
100
100
$ Op (sp,D. order)
0 commit comments