rename domain_axes to domain

Author: ogauthe

src/fusiontensor/fusiontensor.jl

@@ -176,8 +176,8 @@ end
 # empty matrix
 function FusionTensor(elt::Type, legs::FusionTensorAxes)
   S = sector_type(legs)
-  row_axis, codomain_trees_to_ranges = fuse_axes(S, codomain_axes(legs))
-  col_axis, domain_trees_to_ranges = flip_domain(fuse_axes(S, dual.(domain_axes(legs)))...)
+  row_axis, codomain_trees_to_ranges = fuse_axes(S, codomain(legs))
+  col_axis, domain_trees_to_ranges = flip_domain(fuse_axes(S, dual.(domain(legs)))...)
 
   mat = initialize_data_matrix(elt, row_axis, col_axis)
   tree_to_block_mapping = intersect_codomain_domain(
@@ -228,16 +228,17 @@ end
 # ==============================  FusionTensor interface  ==================================
 
 # misc access
-for f in [
-  :(codomain_axes),
-  :(codomain_axis),
-  :(domain_axes),
-  :(domain_axis),
-  :(ndims_codomain),
-  :(ndims_domain),
-]
-  @eval $f(ft::FusionTensor) = $f(axes(ft))
-end
+codomain_axes(ft::FusionTensor) = codomain(axes(ft))
+
+domain_axes(ft::FusionTensor) = domain(axes(ft))
+
+codomain_axis(ft::FusionTensor) = fused_codomain(axes(ft))
+
+domain_axis(ft::FusionTensor) = fused_domain(axes(ft))
+
+ndims_codomain(ft::FusionTensor) = length_codomain(axes(ft))
+
+ndims_domain(ft::FusionTensor) = length_domain(axes(ft))
 
 function charge_block_size(ft::FusionTensor, f1::SectorFusionTree, f2::SectorFusionTree)
   b = Tuple(findblock(ft, f1, f2))

src/fusiontensor/fusiontensoraxes.jl

@@ -112,24 +112,24 @@ end
 
 # ==============================  FusionTensor interface  ==================================
 
-codomain_axes(fta::FusionTensorAxes) = fta[Block(1)]
+codomain(fta::FusionTensorAxes) = fta[Block(1)]
 
-domain_axes(fta::FusionTensorAxes) = fta[Block(2)]
+domain(fta::FusionTensorAxes) = fta[Block(2)]
 
-function codomain_axis(fta::FusionTensorAxes)
-  if ndims_codomain(fta) == 0
+function fused_codomain(fta::FusionTensorAxes)
+  if length_codomain(fta) == 0
     return trivial_axis(fta)
   end
-  return ⊗(codomain_axes(fta)...)
+  return ⊗(codomain(fta)...)
 end
 
-function domain_axis(fta::FusionTensorAxes)
-  if ndims_domain(fta) == 0
+function fused_domain(fta::FusionTensorAxes)
+  if length_domain(fta) == 0
     return dual(trivial_axis(fta))
   end
-  return dual(⊗(dual.(domain_axes(fta))...))
+  return dual(⊗(dual.(domain(fta))...))
 end
 
-ndims_codomain(fta::FusionTensorAxes) = length(codomain_axes(fta))
+length_codomain(fta::FusionTensorAxes) = length(codomain(fta))
 
-ndims_domain(fta::FusionTensorAxes) = length(domain_axes(fta))
+length_domain(fta::FusionTensorAxes) = length(domain(fta))

test/test_fusiontensoraxes.jl

@@ -8,10 +8,10 @@ using FusionTensors:
   FusionTensorAxes,
   ndims_domain,
   ndims_codomain,
-  codomain_axes,
-  codomain_axis,
-  domain_axes,
-  domain_axis,
+  codomain,
+  domain,
+  fused_codomain,
+  fused_domain,
   promote_sector_type,
   promote_sectors
 using GradedArrays:
@@ -68,12 +68,12 @@ end
   @test blocks(fta) == blocks(bt)
 
   @test sector_type(fta) === sector_type(g2)
-  @test length(codomain_axes(fta)) == 2
-  @test all(map(r -> space_isequal(r, g2), codomain_axes(fta)))
-  @test length(domain_axes(fta)) == 2
-  @test all(map(r -> space_isequal(r, g2b), domain_axes(fta)))
-  @test space_isequal(codomain_axis(fta), g2 ⊗ g2)
-  @test space_isequal(domain_axis(fta), dual(g2 ⊗ g2))
+  @test length(codomain(fta)) == 2
+  @test all(map(r -> space_isequal(r, g2), codomain(fta)))
+  @test length(domain(fta)) == 2
+  @test all(map(r -> space_isequal(r, g2b), domain(fta)))
+  @test space_isequal(fused_codomain(fta), g2 ⊗ g2)
+  @test space_isequal(fused_domain(fta), dual(g2 ⊗ g2))
   @test space_isequal(trivial_axis(fta), trivial_axis(typeof(s2)))
 
   @test fta == fta
@@ -95,8 +95,8 @@ end
   @test blocklengths(fta) == (0, 0)
   @test sector_type(fta) == TrivialSector
 
-  @test codomain_axes(fta) == ()
-  @test space_isequal(codomain_axis(fta), trivial_axis(TrivialSector))
-  @test domain_axes(fta) == ()
-  @test space_isequal(domain_axis(fta), dual(trivial_axis(TrivialSector)))
+  @test codomain(fta) == ()
+  @test space_isequal(fused_codomain(fta), trivial_axis(TrivialSector))
+  @test domain(fta) == ()
+  @test space_isequal(fused_domain(fta), dual(trivial_axis(TrivialSector)))
 end