upgrade AFB to v0.8

Author: jishnub

Project.toml

@@ -1,6 +1,6 @@
 name = "ApproxFunOrthogonalPolynomials"
 uuid = "b70543e2-c0d9-56b8-a290-0d4d6d4de211"
-version = "0.6.13"
+version = "0.6.14"
 
 [deps]
 ApproxFunBase = "fbd15aa5-315a-5a7d-a8a4-24992e37be05"
@@ -20,7 +20,7 @@ StaticArrays = "90137ffa-7385-5640-81b9-e52037218182"
 Statistics = "10745b16-79ce-11e8-11f9-7d13ad32a3b2"
 
 [compat]
-ApproxFunBase = "0.7.71"
+ApproxFunBase = "0.8"
 ApproxFunBaseTest = "0.1"
 Aqua = "0.5"
 BandedMatrices = "0.16, 0.17"

src/Spaces/Jacobi/JacobiOperators.jl

@@ -9,7 +9,7 @@ Derivative(J::Jacobi) = ConcreteDerivative(J,1)
     else
         d = domain(J)
         v = [ConcreteDerivative(Jacobi(J.b+i-1, J.a+i-1, d)) for i in k:-1:1]
-        DerivativeWrapper(TimesOperator(v), J, k)
+        DerivativeWrapper(TimesOperator(v), k, J)
     end
 end
 @static if VERSION >= v"1.8"
@@ -49,14 +49,14 @@ function Integral(J::Jacobi,k::Number)
     @assert k > 0 "order of integral must be > 0"
     if k > 1
         Q=Integral(J,1)
-        IntegralWrapper(TimesOperator(Integral(rangespace(Q),k-1),Q),J,k)
+        IntegralWrapper(TimesOperator(Integral(rangespace(Q),k-1),Q),k,J)
     elseif J.a > 0 && J.b > 0   # we have a simple definition
         ConcreteIntegral(J,1)
     else   # convert and then integrate
         sp=Jacobi(J.b+1,J.a+1,domain(J))
         C=Conversion(J,sp)
         Q=Integral(sp,1)
-        IntegralWrapper(TimesOperator(Q,C),J,1)
+        IntegralWrapper(TimesOperator(Q,C),1,J)
     end
 end
 

src/Spaces/PolynomialSpace.jl

@@ -531,8 +531,8 @@ hasconversion(a::NormalizedPolynomialSpace,b::PolynomialSpace) = hasconversion(a
 hasconversion(a::NormalizedPolynomialSpace,b::NormalizedPolynomialSpace) = hasconversion(a.space,b)
 
 function isdiag(D::DerivativeWrapper{<:Operator, <:NormalizedPolynomialSpace})
-    sp = D.space
-    csp = _stripnorm(sp)
+    sp = domainspace(D)
+    csp = canonicalspace(sp)
     isdiag(Derivative(csp, D.order))
 end
 
@@ -572,10 +572,5 @@ function Multiplication(f::Fun{<:NormalizedPolynomialSpace}, sp::NormalizedPolyn
     Multiplication(fc, sp)
 end
 
-function Derivative(sp::NormalizedPolynomialSpace, k::Number)
-    assert_integer(k)
-    csp=canonicalspace(sp)
-    D = Derivative(csp,k)
-    C = ConcreteConversion(sp,csp)
-    DerivativeWrapper(TimesOperator(D, C), sp, k)
-end
+ApproxFunBase.hasconcreteconversion_canonical(
+    @nospecialize(::NormalizedPolynomialSpace), @nospecialize(_)) = true