Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Error when computing negative and finite vector norm #708

Closed
mtsokol opened this issue Mar 10, 2025 · 1 comment · Fixed by #713
Closed

Error when computing negative and finite vector norm #708

mtsokol opened this issue Mar 10, 2025 · 1 comment · Fixed by #713
Labels
bug Something isn't working

Comments

@mtsokol
Copy link
Member

mtsokol commented Mar 10, 2025

Hi @willow-ahrens,

I started porting vector norm and I get a RuleRewriteError for all negative values of p:

using Finch
using LinearAlgebra

A_ref = [1 -2 -3; 2 3 -1]
A = Tensor(Dense(SparseList(Element(0.0))), A_ref)

norm(A_ref, 1)
norm(A, 1)
norm(A_ref, Inf)
norm(A, Inf)
norm(A_ref, -Inf)
norm(A, -Inf)
norm(A_ref, -1)
norm(A, -1)  # The last line fails

Here's error log:

julia> norm(A, -1)
ERROR: RewriteTools.RuleRewriteError(call(~f, ~a..., ~b, ~c, ~d...) => if isidentity(alg, f, b)
        #= /home/mtsokol/Finch.jl/src/symbolic/simplify.jl:59 =#
        call(f, a..., c, d...)
    end, call(literal(*), literal(Finch.Power{Float64, Float64, Int64}(Inf, 0.0, -1)), cached(call(literal(+), call(literal(-), value(i0_start_2, Any)), value(phase_stop_2, Any)), literal(call(literal(+), literal(1), call(literal(-), value(i0_start_2, Any)), call(literal(-), cached(value(A0_lvl_2_i, Any), literal(call(literal(max), value(A0_lvl_2_i, Any), call(literal(+), value(i0_start_2, Any), literal(1))))), literal(1)))))))
Stacktrace:
   [1] (::RewriteTools.Rule{…})(term::Finch.FinchNotation.FinchNode)
     @ RewriteTools ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/rule.jl:151
   [2] (::RewriteTools.Rewriters.Chain{Vector{RewriteTools.Rule{RewriteTools.Term}}})(x::Finch.FinchNotation.FinchNode)
     @ RewriteTools.Rewriters ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/rewriters.jl:164
   [3] (::RewriteTools.Rewriters.Fixpoint{RewriteTools.Rewriters.Chain{Vector{RewriteTools.Rule{…}}}})(x::Finch.FinchNotation.FinchNode)
     @ RewriteTools.Rewriters ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/rewriters.jl:80
   [4] (::RewriteTools.Rewriters.Prewalk{RewriteTools.Rewriters.Fixpoint{…}})(x::Finch.FinchNotation.FinchNode)
     @ RewriteTools.Rewriters ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/rewriters.jl:104
   [5] stable_map(::Type{…}, f::RewriteTools.Rewriters.Prewalk{…}, args::Vector{…})
     @ RewriteTools.Rewriters ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/rewriters.jl:45
   [6] (::RewriteTools.Rewriters.Prewalk{RewriteTools.Rewriters.Fixpoint{…}})(x::Finch.FinchNotation.FinchNode)
     @ RewriteTools.Rewriters ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/rewriters.jl:114
   [7] (::RewriteTools.Rewriters.Chain{Vector{RewriteTools.Rewriters.Prewalk}})(x::Finch.FinchNotation.FinchNode)
     @ RewriteTools.Rewriters ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/rewriters.jl:164
   [8] (::RewriteTools.Rewriters.Fixpoint{RewriteTools.Rewriters.Chain{Vector{…}}})(x::Finch.FinchNotation.FinchNode)
     @ RewriteTools.Rewriters ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/rewriters.jl:84
   [9] (::RewriteTools.Rewriters.Rewrite{RewriteTools.Rewriters.Fixpoint{…}})(x::Finch.FinchNotation.FinchNode)
     @ RewriteTools.Rewriters ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/rewriters.jl:38
  [10] simplify(ctx::Finch.SymbolicContext, node::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/symbolic/simplify.jl:290
  [11] simplify(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:50
  [12] lower(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, ::Finch.SimplifyStyle)
     @ Finch ~/Finch.jl/src/symbolic/simplify.jl:266
  [13] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.SimplifyStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
  [14] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
  [15] lower(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, ::Finch.FillStyle)
     @ Finch ~/Finch.jl/src/looplets/fills.jl:26
  [16] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.FillStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
  [17] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
  [18] lower(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, ::Finch.RunStyle)
     @ Finch ~/Finch.jl/src/looplets/runs.jl:42
  [19] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.RunStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
  [20] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
  [21] (::Finch.var"#619#623"{Finch.FinchNotation.FinchNode, Finch.FinchNotation.FinchNode, Finch.Extent})(ctx_2::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/looplets/spikes.jl:45
  [22] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
  [23] contain(f::Finch.var"#44#45"{Finch.var"#619#623"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
  [24] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
  [25] contain(f::Finch.var"#619#623"{…}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
  [26] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
  [27] lower(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, ::Finch.SpikeStyle)
     @ Finch ~/Finch.jl/src/looplets/spikes.jl:44
  [28] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.SpikeStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
  [29] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
  [30] #592
     @ ~/Finch.jl/src/looplets/thunks.jl:24 [inlined]
  [31] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
  [32] contain(f::Finch.var"#44#45"{Finch.var"#592#594"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
  [33] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
  [34] contain(f::Finch.var"#592#594"{Finch.FinchNotation.FinchNode}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
  [35] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
  [36] #591
     @ ~/Finch.jl/src/looplets/thunks.jl:23 [inlined]
  [37] (::Finch.var"#44#45"{Finch.var"#591#593"{Finch.FinchNotation.FinchNode}, Finch.FinchCompiler})(code_2::Finch.JuliaContext)
     @ Finch ~/Finch.jl/src/lower.jl:54
  [38] contain(f::Finch.var"#44#45"{Finch.var"#591#593"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
  [39] contain(f::Function, ctx::Finch.JuliaContext)
     @ Finch ~/Finch.jl/src/environment.jl:111
  [40] contain(f::Finch.var"#591#593"{Finch.FinchNotation.FinchNode}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
  [41] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
  [42] lower
     @ ~/Finch.jl/src/looplets/thunks.jl:21 [inlined]
  [43] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.ThunkStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
  [44] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
  [45] (::Finch.var"#719#735"{Finch.Extent, Finch.FinchNotation.FinchNode})(ctx_3::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/looplets/steppers.jl:142
  [46] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
  [47] contain(f::Finch.var"#44#45"{Finch.var"#719#735"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
  [48] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
  [49] contain(f::Finch.var"#719#735"{Finch.Extent, Finch.FinchNotation.FinchNode}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
  [50] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
  [51] (::Finch.var"#715#731"{Finch.FinchCompiler, Finch.FinchNotation.FinchNode, Symbol, Symbol})(ctx_2::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/looplets/steppers.jl:138
  [52] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
  [53] contain(f::Finch.var"#44#45"{Finch.var"#715#731"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
  [54] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
  [55] contain(f::Finch.var"#715#731"{…}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
  [56] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
  [57] lower(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, style::Finch.StepperStyle)
     @ Finch ~/Finch.jl/src/looplets/steppers.jl:119
  [58] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.StepperStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
  [59] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
  [60] (::Finch.var"#651#655"{Finch.FinchNotation.FinchNode, Finch.Extent})(ctx_4::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/looplets/phases.jl:85
  [61] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
  [62] contain(f::Finch.var"#44#45"{Finch.var"#651#655"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
  [63] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
  [64] contain(f::Finch.var"#651#655"{Finch.FinchNotation.FinchNode, Finch.Extent}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
  [65] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
  [66] lower(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, style::Finch.SequencePhaseStyle)
     @ Finch ~/Finch.jl/src/looplets/phases.jl:81
  [67] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.SequencePhaseStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
  [68] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
  [69] (::Finch.var"#657#658"{Finch.FinchNotation.FinchNode, Finch.FinchNotation.FinchNode})(ctx_2::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/looplets/sequences.jl:42
  [70] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
  [71] contain(f::Finch.var"#44#45"{Finch.var"#657#658"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
  [72] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
  [73] contain(f::Finch.var"#657#658"{…}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
  [74] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
  [75] lower(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, ::Finch.SequenceStyle)
     @ Finch ~/Finch.jl/src/looplets/sequences.jl:39
  [76] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.SequenceStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
  [77] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
  [78] #592
     @ ~/Finch.jl/src/looplets/thunks.jl:24 [inlined]
  [79] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
  [80] contain(f::Finch.var"#44#45"{Finch.var"#592#594"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
  [81] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
  [82] contain(f::Finch.var"#592#594"{Finch.FinchNotation.FinchNode}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
  [83] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
  [84] #591
     @ ~/Finch.jl/src/looplets/thunks.jl:23 [inlined]
  [85] (::Finch.var"#44#45"{Finch.var"#591#593"{Finch.FinchNotation.FinchNode}, Finch.FinchCompiler})(code_2::Finch.JuliaContext)
     @ Finch ~/Finch.jl/src/lower.jl:54
  [86] contain(f::Finch.var"#44#45"{Finch.var"#591#593"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
  [87] contain(f::Function, ctx::Finch.JuliaContext)
     @ Finch ~/Finch.jl/src/environment.jl:111
  [88] contain(f::Finch.var"#591#593"{Finch.FinchNotation.FinchNode}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
  [89] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
  [90] lower
     @ ~/Finch.jl/src/looplets/thunks.jl:21 [inlined]
  [91] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.ThunkStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
  [92] (::Finch.var"#70#72"{Finch.FinchNotation.FinchNode})(ctx_2::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:312
  [93] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
  [94] contain(f::Finch.var"#44#45"{Finch.var"#70#72"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
  [95] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
  [96] contain(f::Finch.var"#70#72"{Finch.FinchNotation.FinchNode}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
  [97] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
  [98] lower_loop(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, ext::Finch.Extent)
     @ Finch ~/Finch.jl/src/lower.jl:293
  [99] lower(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, ::Finch.DefaultStyle)
     @ Finch ~/Finch.jl/src/lower.jl:222
 [100] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.DefaultStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
 [101] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
 [102] #592
     @ ~/Finch.jl/src/looplets/thunks.jl:24 [inlined]
 [103] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
 [104] contain(f::Finch.var"#44#45"{Finch.var"#592#594"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
 [105] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
 [106] contain(f::Finch.var"#592#594"{Finch.FinchNotation.FinchNode}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
 [107] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
 [108] #591
     @ ~/Finch.jl/src/looplets/thunks.jl:23 [inlined]
 [109] (::Finch.var"#44#45"{Finch.var"#591#593"{Finch.FinchNotation.FinchNode}, Finch.FinchCompiler})(code_2::Finch.JuliaContext)
     @ Finch ~/Finch.jl/src/lower.jl:54
 [110] contain(f::Finch.var"#44#45"{Finch.var"#591#593"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
 [111] contain(f::Function, ctx::Finch.JuliaContext)
     @ Finch ~/Finch.jl/src/environment.jl:111
 [112] contain(f::Finch.var"#591#593"{Finch.FinchNotation.FinchNode}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
 [113] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
 [114] lower
     @ ~/Finch.jl/src/looplets/thunks.jl:21 [inlined]
 [115] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.ThunkStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
 [116] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
 [117] #607
     @ ~/Finch.jl/src/looplets/lookups.jl:43 [inlined]
 [118] #41
     @ ~/Finch.jl/src/lower.jl:38 [inlined]
 [119] open_scope(f::Finch.var"#41#42"{Finch.var"#607#610"{Finch.FinchNotation.FinchNode}, Finch.FinchCompiler}, ctx::Finch.ScopeContext)
     @ Finch ~/Finch.jl/src/scopes.jl:98
 [120] open_scope(f::Finch.var"#607#610"{Finch.FinchNotation.FinchNode}, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:37
 [121] (::Finch.var"#605#608"{Finch.FinchNotation.FinchNode, Symbol})(ctx_2::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/looplets/lookups.jl:42
 [122] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
 [123] contain(f::Finch.var"#44#45"{Finch.var"#605#608"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
 [124] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
 [125] contain(f::Finch.var"#605#608"{Finch.FinchNotation.FinchNode, Symbol}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
 [126] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
 [127] lower(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, ::Finch.LookupStyle)
     @ Finch ~/Finch.jl/src/looplets/lookups.jl:26
 [128] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.LookupStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
 [129] (::Finch.var"#70#72"{Finch.FinchNotation.FinchNode})(ctx_2::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:312
 [130] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
 [131] contain(f::Finch.var"#44#45"{Finch.var"#70#72"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
 [132] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
 [133] contain(f::Finch.var"#70#72"{Finch.FinchNotation.FinchNode}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
 [134] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
 [135] lower_loop(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, ext::Finch.Extent)
     @ Finch ~/Finch.jl/src/lower.jl:293
 [136] lower(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, ::Finch.DefaultStyle)
     @ Finch ~/Finch.jl/src/lower.jl:222
 [137] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.DefaultStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
 [138] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
 [139] #50
     @ ~/Finch.jl/src/lower.jl:163 [inlined]
 [140] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
 [141] contain(f::Finch.var"#44#45"{Finch.var"#50#60"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
 [142] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
 [143] contain(f::Finch.var"#50#60"{Finch.FinchNotation.FinchNode}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
 [144] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
 [145] lower(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, ::Finch.DefaultStyle)
     @ Finch ~/Finch.jl/src/lower.jl:162
 [146] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.DefaultStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
 [147] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
 [148] #51
     @ ~/Finch.jl/src/lower.jl:171 [inlined]
 [149] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
 [150] contain(f::Finch.var"#44#45"{Finch.var"#51#61"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
 [151] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
 [152] contain(f::Finch.var"#51#61"{Finch.FinchNotation.FinchNode}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
 [153] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
 [154] lower(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, ::Finch.DefaultStyle)
     @ Finch ~/Finch.jl/src/lower.jl:167
 [155] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.DefaultStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
 [156] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
 [157] (::Finch.var"#283#285")(ctx_3::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/execute.jl:119
 [158] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
 [159] contain(f::Finch.var"#44#45"{Finch.var"#283#285", Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
 [160] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
 [161] contain(f::Finch.var"#283#285", ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
 [162] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
 [163] (::Finch.var"#282#284"{Finch.FinchCompiler})(ctx_2::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/execute.jl:118
 [164] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
 [165] contain(f::Finch.var"#44#45"{Finch.var"#282#284"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
 [166] contain(f::Function, ctx::Finch.JuliaContext)
     @ Finch ~/Finch.jl/src/environment.jl:111
 [167] contain(f::Finch.var"#282#284"{Finch.FinchCompiler}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
 [168] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
 [169] lower_global(ctx::Finch.FinchCompiler, prgm::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/execute.jl:107
 [170] (::Finch.var"#280#281"{Symbol, DataType})(ctx_2::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/execute.jl:94
 [171] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
 [172] contain(f::Finch.var"#44#45"{Finch.var"#280#281"{Symbol, DataType}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
 [173] contain(f::Function, ctx::Finch.JuliaContext)
     @ Finch ~/Finch.jl/src/environment.jl:111
 [174] contain(f::Finch.var"#280#281"{Symbol, DataType}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
 [175] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
 [176] #execute_code#279
     @ ~/Finch.jl/src/execute.jl:91 [inlined]
 [177] macro expansion
     @ ~/Finch.jl/src/execute.jl:62 [inlined]
 [178] var"##execute_impl_generator#231"(ex::Type, algebra::Type, mode::Type)
     @ Finch ~/Finch.jl/src/util/staging.jl:32
 [179] (::Finch.var"#277#278"{DataType, DataType, DataType})()
     @ Finch ~/Finch.jl/src/util/staging.jl:61
 [180] #s364#276
     @ ~/Finch.jl/src/util/staging.jl:70 [inlined]
 [181] var"#s364#276"(::Any, ex::Any, algebra::Any, mode::Any)
     @ Finch ./none:0
 [182] (::Core.GeneratedFunctionStub)(::UInt64, ::LineNumberNode, ::Any, ::Vararg{Any})
     @ Core ./boot.jl:602
 [183] execute(ex::Finch.FinchNotation.BlockInstance{Tuple{…}}; algebra::Finch.DefaultAlgebra, mode::Symbol)
     @ Finch ~/Finch.jl/src/execute.jl:56
 [184] execute
     @ ~/Finch.jl/src/execute.jl:55 [inlined]
 [185] ##compute12154881872137659950#300
     @ ~/Finch.jl/src/execute.jl:198 [inlined]
 [186] var"##compute12154881872137659950#300"(prgm::Finch.FinchLogic.LogicNode)
     @ Finch ./none:0
 [187] #invokelatest#2
     @ ./essentials.jl:892 [inlined]
 [188] invokelatest
     @ ./essentials.jl:889 [inlined]
 [189] (::Finch.LogicExecutor)(prgm::Finch.FinchLogic.LogicNode)
     @ Finch ~/Finch.jl/src/scheduler/LogicExecutor.jl:95
 [190] compute_parse(ctx::Finch.LogicExecutor, args::Tuple{Finch.LazyTensor{Float64, 0}})
     @ Finch ~/Finch.jl/src/interface/lazy.jl:638
 [191] compute(arg::Finch.LazyTensor{Float64, 0}; ctx::Finch.LogicExecutor, kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/interface/lazy.jl:627
 [192] compute(arg::Finch.LazyTensor{Float64, 0})
     @ Finch ~/Finch.jl/src/interface/lazy.jl:626
 [193] norm(arr::Tensor{DenseLevel{Int64, SparseListLevel{Int64, Vector{…}, Vector{…}, ElementLevel{…}}}}, p::Int64)
     @ Finch ~/Finch.jl/src/interface/eager.jl:171

caused by: MethodError: no method matching one(::Finch.Power{Float64, Float64, Int64})

Closest candidates are:
  one(::Type{Union{}}, Any...)
   @ Base number.jl:349
  one(::Type{Missing})
   @ Base missing.jl:104
  one(::Missing)
   @ Base missing.jl:101
  ...

Stacktrace:
   [1] isone(x::Finch.Power{Float64, Float64, Int64})
     @ Base ./number.jl:62
   [2] isidentity(::Finch.DefaultAlgebra, ::typeof(*), x::Finch.Power{Float64, Float64, Int64})
     @ Finch ~/Finch.jl/src/symbolic/symbolic.jl:91
   [3] isidentity_by_fn(alg::Finch.DefaultAlgebra, f::Function, x::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/symbolic/symbolic.jl:84
   [4] isidentity(alg::Finch.DefaultAlgebra, f::Finch.FinchNotation.FinchNode, x::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/symbolic/symbolic.jl:82
   [5] (::Finch.var"#324#400"{Finch.DefaultAlgebra})(__MATCHES__::Base.ImmutableDict{Symbol, Any})
     @ Finch ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/rule.jl:312
   [6] success
     @ ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/rule.jl:148 [inlined]
   [7] (::RewriteTools.var"#loop#40"{…})(term::RewriteTools.LL{…}, bindings′::Base.ImmutableDict{…}, matchers′::RewriteTools.LL{…})
     @ RewriteTools ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/matchers.jl:96
   [8] (::RewriteTools.var"#38#41"{RewriteTools.LL{Vector{…}}, RewriteTools.LL{Tuple{…}}})(b::Base.ImmutableDict{Symbol, Any}, n::Int64)
     @ RewriteTools ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/matchers.jl:101
   [9] (::RewriteTools.var"#segment_matcher#37"{…})(success::RewriteTools.var"#38#41"{…}, data::RewriteTools.LL{…}, bindings::Base.ImmutableDict{…})
     @ RewriteTools ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/matchers.jl:74
  [10] (::RewriteTools.var"#loop#40"{…})(term::RewriteTools.LL{…}, bindings′::Base.ImmutableDict{…}, matchers′::RewriteTools.LL{…})
     @ RewriteTools ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/matchers.jl:100
  [11] (::RewriteTools.var"#38#41"{RewriteTools.LL{Vector{…}}, RewriteTools.LL{Tuple{…}}})(b::Base.ImmutableDict{Symbol, Any}, n::Int64)
     @ RewriteTools ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/matchers.jl:101
  [12] (::RewriteTools.var"#slot_matcher#36"{…})(next::RewriteTools.var"#38#41"{…}, data::RewriteTools.LL{…}, bindings::Base.ImmutableDict{…})
     @ RewriteTools ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/matchers.jl:24
--- the last 3 lines are repeated 1 more time ---
  [16] (::RewriteTools.var"#loop#40"{…})(term::RewriteTools.LL{…}, bindings′::Base.ImmutableDict{…}, matchers′::RewriteTools.LL{…})
     @ RewriteTools ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/matchers.jl:100
  [17] (::RewriteTools.var"#38#41"{RewriteTools.LL{Vector{…}}, RewriteTools.LL{Tuple{…}}})(b::Base.ImmutableDict{Symbol, Any}, n::Int64)
     @ RewriteTools ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/matchers.jl:101
  [18] (::RewriteTools.var"#segment_matcher#37"{…})(success::RewriteTools.var"#38#41"{…}, data::RewriteTools.LL{…}, bindings::Base.ImmutableDict{…})
     @ RewriteTools ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/matchers.jl:74
  [19] (::RewriteTools.var"#loop#40"{…})(term::RewriteTools.LL{…}, bindings′::Base.ImmutableDict{…}, matchers′::RewriteTools.LL{…})
     @ RewriteTools ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/matchers.jl:100
  [20] (::RewriteTools.var"#38#41"{RewriteTools.LL{Vector{…}}, RewriteTools.LL{Tuple{…}}})(b::Base.ImmutableDict{Symbol, Any}, n::Int64)
     @ RewriteTools ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/matchers.jl:101
  [21] (::RewriteTools.var"#slot_matcher#36"{…})(next::RewriteTools.var"#38#41"{…}, data::RewriteTools.LL{…}, bindings::Base.ImmutableDict{…})
     @ RewriteTools ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/matchers.jl:24
  [22] (::RewriteTools.var"#loop#40"{…})(term::RewriteTools.LL{…}, bindings′::Base.ImmutableDict{…}, matchers′::RewriteTools.LL{…})
     @ RewriteTools ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/matchers.jl:100
  [23] (::RewriteTools.var"#38#41"{Finch.FinchNotation.FinchNode, Tuple{…}})(b::Base.ImmutableDict{Symbol, Any}, n::Int64)
     @ RewriteTools ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/matchers.jl:101
  [24] literal_matcher
     @ ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/matchers.jl:10 [inlined]
  [25] (::RewriteTools.var"#loop#40"{…})(term::Finch.FinchNotation.FinchNode, bindings′::Base.ImmutableDict{…}, matchers′::Tuple{…})
     @ RewriteTools ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/matchers.jl:100
  [26] (::RewriteTools.var"#term_matcher#39"{…})(success::RewriteTools.var"#success#30"{…}, data::Tuple{…}, bindings::Base.ImmutableDict{…})
     @ RewriteTools ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/matchers.jl:105
  [27] (::RewriteTools.Rule{…})(term::Finch.FinchNotation.FinchNode)
     @ RewriteTools ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/rule.jl:149
  [28] (::RewriteTools.Rewriters.Chain{Vector{RewriteTools.Rule{RewriteTools.Term}}})(x::Finch.FinchNotation.FinchNode)
     @ RewriteTools.Rewriters ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/rewriters.jl:164
  [29] (::RewriteTools.Rewriters.Fixpoint{RewriteTools.Rewriters.Chain{Vector{RewriteTools.Rule{…}}}})(x::Finch.FinchNotation.FinchNode)
     @ RewriteTools.Rewriters ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/rewriters.jl:80
  [30] (::RewriteTools.Rewriters.Prewalk{RewriteTools.Rewriters.Fixpoint{…}})(x::Finch.FinchNotation.FinchNode)
     @ RewriteTools.Rewriters ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/rewriters.jl:104
  [31] stable_map(::Type{…}, f::RewriteTools.Rewriters.Prewalk{…}, args::Vector{…})
     @ RewriteTools.Rewriters ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/rewriters.jl:45
  [32] (::RewriteTools.Rewriters.Prewalk{RewriteTools.Rewriters.Fixpoint{…}})(x::Finch.FinchNotation.FinchNode)
     @ RewriteTools.Rewriters ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/rewriters.jl:114
  [33] (::RewriteTools.Rewriters.Chain{Vector{RewriteTools.Rewriters.Prewalk}})(x::Finch.FinchNotation.FinchNode)
     @ RewriteTools.Rewriters ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/rewriters.jl:164
  [34] (::RewriteTools.Rewriters.Fixpoint{RewriteTools.Rewriters.Chain{Vector{…}}})(x::Finch.FinchNotation.FinchNode)
     @ RewriteTools.Rewriters ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/rewriters.jl:84
  [35] (::RewriteTools.Rewriters.Rewrite{RewriteTools.Rewriters.Fixpoint{…}})(x::Finch.FinchNotation.FinchNode)
     @ RewriteTools.Rewriters ~/.conda/envs/finch-jl-dev/share/julia/packages/RewriteTools/CB1M6/src/rewriters.jl:38
  [36] simplify(ctx::Finch.SymbolicContext, node::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/symbolic/simplify.jl:290
  [37] simplify(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:50
  [38] lower(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, ::Finch.SimplifyStyle)
     @ Finch ~/Finch.jl/src/symbolic/simplify.jl:266
  [39] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.SimplifyStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
  [40] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
  [41] lower(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, ::Finch.FillStyle)
     @ Finch ~/Finch.jl/src/looplets/fills.jl:26
  [42] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.FillStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
  [43] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
  [44] lower(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, ::Finch.RunStyle)
     @ Finch ~/Finch.jl/src/looplets/runs.jl:42
  [45] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.RunStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
  [46] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
  [47] (::Finch.var"#619#623"{Finch.FinchNotation.FinchNode, Finch.FinchNotation.FinchNode, Finch.Extent})(ctx_2::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/looplets/spikes.jl:45
  [48] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
  [49] contain(f::Finch.var"#44#45"{Finch.var"#619#623"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
  [50] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
  [51] contain(f::Finch.var"#619#623"{…}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
  [52] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
  [53] lower(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, ::Finch.SpikeStyle)
     @ Finch ~/Finch.jl/src/looplets/spikes.jl:44
  [54] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.SpikeStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
  [55] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
  [56] #592
     @ ~/Finch.jl/src/looplets/thunks.jl:24 [inlined]
  [57] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
  [58] contain(f::Finch.var"#44#45"{Finch.var"#592#594"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
  [59] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
  [60] contain(f::Finch.var"#592#594"{Finch.FinchNotation.FinchNode}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
  [61] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
  [62] #591
     @ ~/Finch.jl/src/looplets/thunks.jl:23 [inlined]
  [63] (::Finch.var"#44#45"{Finch.var"#591#593"{Finch.FinchNotation.FinchNode}, Finch.FinchCompiler})(code_2::Finch.JuliaContext)
     @ Finch ~/Finch.jl/src/lower.jl:54
  [64] contain(f::Finch.var"#44#45"{Finch.var"#591#593"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
  [65] contain(f::Function, ctx::Finch.JuliaContext)
     @ Finch ~/Finch.jl/src/environment.jl:111
  [66] contain(f::Finch.var"#591#593"{Finch.FinchNotation.FinchNode}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
  [67] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
  [68] lower
     @ ~/Finch.jl/src/looplets/thunks.jl:21 [inlined]
  [69] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.ThunkStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
  [70] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
  [71] (::Finch.var"#719#735"{Finch.Extent, Finch.FinchNotation.FinchNode})(ctx_3::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/looplets/steppers.jl:142
  [72] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
  [73] contain(f::Finch.var"#44#45"{Finch.var"#719#735"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
  [74] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
  [75] contain(f::Finch.var"#719#735"{Finch.Extent, Finch.FinchNotation.FinchNode}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
  [76] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
  [77] (::Finch.var"#715#731"{Finch.FinchCompiler, Finch.FinchNotation.FinchNode, Symbol, Symbol})(ctx_2::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/looplets/steppers.jl:138
  [78] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
  [79] contain(f::Finch.var"#44#45"{Finch.var"#715#731"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
  [80] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
  [81] contain(f::Finch.var"#715#731"{…}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
  [82] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
  [83] lower(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, style::Finch.StepperStyle)
     @ Finch ~/Finch.jl/src/looplets/steppers.jl:119
  [84] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.StepperStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
  [85] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
  [86] (::Finch.var"#651#655"{Finch.FinchNotation.FinchNode, Finch.Extent})(ctx_4::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/looplets/phases.jl:85
  [87] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
  [88] contain(f::Finch.var"#44#45"{Finch.var"#651#655"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
  [89] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
  [90] contain(f::Finch.var"#651#655"{Finch.FinchNotation.FinchNode, Finch.Extent}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
  [91] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
  [92] lower(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, style::Finch.SequencePhaseStyle)
     @ Finch ~/Finch.jl/src/looplets/phases.jl:81
  [93] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.SequencePhaseStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
  [94] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
  [95] (::Finch.var"#657#658"{Finch.FinchNotation.FinchNode, Finch.FinchNotation.FinchNode})(ctx_2::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/looplets/sequences.jl:42
  [96] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
  [97] contain(f::Finch.var"#44#45"{Finch.var"#657#658"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
  [98] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
  [99] contain(f::Finch.var"#657#658"{…}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
 [100] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
 [101] lower(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, ::Finch.SequenceStyle)
     @ Finch ~/Finch.jl/src/looplets/sequences.jl:39
 [102] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.SequenceStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
 [103] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
 [104] #592
     @ ~/Finch.jl/src/looplets/thunks.jl:24 [inlined]
 [105] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
 [106] contain(f::Finch.var"#44#45"{Finch.var"#592#594"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
 [107] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
 [108] contain(f::Finch.var"#592#594"{Finch.FinchNotation.FinchNode}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
 [109] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
 [110] #591
     @ ~/Finch.jl/src/looplets/thunks.jl:23 [inlined]
 [111] (::Finch.var"#44#45"{Finch.var"#591#593"{Finch.FinchNotation.FinchNode}, Finch.FinchCompiler})(code_2::Finch.JuliaContext)
     @ Finch ~/Finch.jl/src/lower.jl:54
 [112] contain(f::Finch.var"#44#45"{Finch.var"#591#593"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
 [113] contain(f::Function, ctx::Finch.JuliaContext)
     @ Finch ~/Finch.jl/src/environment.jl:111
 [114] contain(f::Finch.var"#591#593"{Finch.FinchNotation.FinchNode}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
 [115] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
 [116] lower
     @ ~/Finch.jl/src/looplets/thunks.jl:21 [inlined]
 [117] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.ThunkStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
 [118] (::Finch.var"#70#72"{Finch.FinchNotation.FinchNode})(ctx_2::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:312
 [119] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
 [120] contain(f::Finch.var"#44#45"{Finch.var"#70#72"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
 [121] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
 [122] contain(f::Finch.var"#70#72"{Finch.FinchNotation.FinchNode}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
 [123] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
 [124] lower_loop(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, ext::Finch.Extent)
     @ Finch ~/Finch.jl/src/lower.jl:293
 [125] lower(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, ::Finch.DefaultStyle)
     @ Finch ~/Finch.jl/src/lower.jl:222
 [126] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.DefaultStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
 [127] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
 [128] #592
     @ ~/Finch.jl/src/looplets/thunks.jl:24 [inlined]
 [129] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
 [130] contain(f::Finch.var"#44#45"{Finch.var"#592#594"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
 [131] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
 [132] contain(f::Finch.var"#592#594"{Finch.FinchNotation.FinchNode}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
 [133] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
 [134] #591
     @ ~/Finch.jl/src/looplets/thunks.jl:23 [inlined]
 [135] (::Finch.var"#44#45"{Finch.var"#591#593"{Finch.FinchNotation.FinchNode}, Finch.FinchCompiler})(code_2::Finch.JuliaContext)
     @ Finch ~/Finch.jl/src/lower.jl:54
 [136] contain(f::Finch.var"#44#45"{Finch.var"#591#593"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
 [137] contain(f::Function, ctx::Finch.JuliaContext)
     @ Finch ~/Finch.jl/src/environment.jl:111
 [138] contain(f::Finch.var"#591#593"{Finch.FinchNotation.FinchNode}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
 [139] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
 [140] lower
     @ ~/Finch.jl/src/looplets/thunks.jl:21 [inlined]
 [141] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.ThunkStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
 [142] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
 [143] #607
     @ ~/Finch.jl/src/looplets/lookups.jl:43 [inlined]
 [144] #41
     @ ~/Finch.jl/src/lower.jl:38 [inlined]
 [145] open_scope(f::Finch.var"#41#42"{Finch.var"#607#610"{Finch.FinchNotation.FinchNode}, Finch.FinchCompiler}, ctx::Finch.ScopeContext)
     @ Finch ~/Finch.jl/src/scopes.jl:98
 [146] open_scope(f::Finch.var"#607#610"{Finch.FinchNotation.FinchNode}, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:37
 [147] (::Finch.var"#605#608"{Finch.FinchNotation.FinchNode, Symbol})(ctx_2::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/looplets/lookups.jl:42
 [148] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
 [149] contain(f::Finch.var"#44#45"{Finch.var"#605#608"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
 [150] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
 [151] contain(f::Finch.var"#605#608"{Finch.FinchNotation.FinchNode, Symbol}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
 [152] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
 [153] lower(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, ::Finch.LookupStyle)
     @ Finch ~/Finch.jl/src/looplets/lookups.jl:26
 [154] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.LookupStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
 [155] (::Finch.var"#70#72"{Finch.FinchNotation.FinchNode})(ctx_2::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:312
 [156] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
 [157] contain(f::Finch.var"#44#45"{Finch.var"#70#72"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
 [158] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
 [159] contain(f::Finch.var"#70#72"{Finch.FinchNotation.FinchNode}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
 [160] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
 [161] lower_loop(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, ext::Finch.Extent)
     @ Finch ~/Finch.jl/src/lower.jl:293
 [162] lower(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, ::Finch.DefaultStyle)
     @ Finch ~/Finch.jl/src/lower.jl:222
 [163] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.DefaultStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
 [164] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
 [165] #50
     @ ~/Finch.jl/src/lower.jl:163 [inlined]
 [166] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
 [167] contain(f::Finch.var"#44#45"{Finch.var"#50#60"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
 [168] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
 [169] contain(f::Finch.var"#50#60"{Finch.FinchNotation.FinchNode}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
 [170] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
 [171] lower(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, ::Finch.DefaultStyle)
     @ Finch ~/Finch.jl/src/lower.jl:162
 [172] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.DefaultStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
 [173] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
 [174] #51
     @ ~/Finch.jl/src/lower.jl:171 [inlined]
 [175] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
 [176] contain(f::Finch.var"#44#45"{Finch.var"#51#61"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
 [177] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
 [178] contain(f::Finch.var"#51#61"{Finch.FinchNotation.FinchNode}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
 [179] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
 [180] lower(ctx::Finch.FinchCompiler, root::Finch.FinchNotation.FinchNode, ::Finch.DefaultStyle)
     @ Finch ~/Finch.jl/src/lower.jl:167
 [181] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode, style::Finch.DefaultStyle)
     @ Finch ~/Finch.jl/src/lower.jl:59
 [182] (::Finch.FinchCompiler)(root::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/lower.jl:58
 [183] (::Finch.var"#283#285")(ctx_3::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/execute.jl:119
 [184] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
 [185] contain(f::Finch.var"#44#45"{Finch.var"#283#285", Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
 [186] contain
     @ ~/Finch.jl/src/environment.jl:111 [inlined]
 [187] contain(f::Finch.var"#283#285", ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
 [188] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
 [189] (::Finch.var"#282#284"{Finch.FinchCompiler})(ctx_2::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/execute.jl:118
 [190] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
 [191] contain(f::Finch.var"#44#45"{Finch.var"#282#284"{…}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
 [192] contain(f::Function, ctx::Finch.JuliaContext)
     @ Finch ~/Finch.jl/src/environment.jl:111
 [193] contain(f::Finch.var"#282#284"{Finch.FinchCompiler}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
 [194] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
 [195] lower_global(ctx::Finch.FinchCompiler, prgm::Finch.FinchNotation.FinchNode)
     @ Finch ~/Finch.jl/src/execute.jl:107
 [196] (::Finch.var"#280#281"{Symbol, DataType})(ctx_2::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/execute.jl:94
 [197] #44
     @ ~/Finch.jl/src/lower.jl:54 [inlined]
 [198] contain(f::Finch.var"#44#45"{Finch.var"#280#281"{Symbol, DataType}, Finch.FinchCompiler}, ctx::Finch.JuliaContext; task::Nothing)
     @ Finch ~/Finch.jl/src/environment.jl:116
 [199] contain(f::Function, ctx::Finch.JuliaContext)
     @ Finch ~/Finch.jl/src/environment.jl:111
 [200] contain(f::Finch.var"#280#281"{Symbol, DataType}, ctx::Finch.FinchCompiler; kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/lower.jl:53
 [201] contain(f::Function, ctx::Finch.FinchCompiler)
     @ Finch ~/Finch.jl/src/lower.jl:52
 [202] #execute_code#279
     @ ~/Finch.jl/src/execute.jl:91 [inlined]
 [203] macro expansion
     @ ~/Finch.jl/src/execute.jl:62 [inlined]
 [204] var"##execute_impl_generator#231"(ex::Type, algebra::Type, mode::Type)
     @ Finch ~/Finch.jl/src/util/staging.jl:32
 [205] (::Finch.var"#277#278"{DataType, DataType, DataType})()
     @ Finch ~/Finch.jl/src/util/staging.jl:61
 [206] #s364#276
     @ ~/Finch.jl/src/util/staging.jl:70 [inlined]
 [207] var"#s364#276"(::Any, ex::Any, algebra::Any, mode::Any)
     @ Finch ./none:0
 [208] (::Core.GeneratedFunctionStub)(::UInt64, ::LineNumberNode, ::Any, ::Vararg{Any})
     @ Core ./boot.jl:602
 [209] execute(ex::Finch.FinchNotation.BlockInstance{Tuple{…}}; algebra::Finch.DefaultAlgebra, mode::Symbol)
     @ Finch ~/Finch.jl/src/execute.jl:56
 [210] execute
     @ ~/Finch.jl/src/execute.jl:55 [inlined]
 [211] ##compute12154881872137659950#300
     @ ~/Finch.jl/src/execute.jl:198 [inlined]
 [212] var"##compute12154881872137659950#300"(prgm::Finch.FinchLogic.LogicNode)
     @ Finch ./none:0
 [213] #invokelatest#2
     @ ./essentials.jl:892 [inlined]
 [214] invokelatest
     @ ./essentials.jl:889 [inlined]
 [215] (::Finch.LogicExecutor)(prgm::Finch.FinchLogic.LogicNode)
     @ Finch ~/Finch.jl/src/scheduler/LogicExecutor.jl:95
 [216] compute_parse(ctx::Finch.LogicExecutor, args::Tuple{Finch.LazyTensor{Float64, 0}})
     @ Finch ~/Finch.jl/src/interface/lazy.jl:638
 [217] compute(arg::Finch.LazyTensor{Float64, 0}; ctx::Finch.LogicExecutor, kwargs::@Kwargs{})
     @ Finch ~/Finch.jl/src/interface/lazy.jl:627
 [218] compute(arg::Finch.LazyTensor{Float64, 0})
     @ Finch ~/Finch.jl/src/interface/lazy.jl:626
 [219] norm(arr::Tensor{DenseLevel{Int64, SparseListLevel{Int64, Vector{…}, Vector{…}, ElementLevel{…}}}}, p::Int64)
     @ Finch ~/Finch.jl/src/interface/eager.jl:171
Some type information was truncated. Use `show(err)` to see complete types.
@mtsokol mtsokol added the bug Something isn't working label Mar 10, 2025
@willow-ahrens
Copy link
Collaborator

Wow! it looks like I didn't test norm for negative p values. I was so careful to use the numerically stable variant too! It looks like the real issue is caused by: MethodError: no method matching one(::Finch.Power{Float64, Float64, Int64}). I'll take a look and see whether this is a quick fix or something more complicated.

@willow-ahrens willow-ahrens mentioned this issue Mar 18, 2025
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

small tweaks to rules finch-tensor/Finch.jl
2 participants
@willow-ahrens @mtsokol