From 7898153572a32ea15e0ebd26f23b90836d825979 Mon Sep 17 00:00:00 2001
From: Stephan Hilb <stephan@ecshi.net>
Date: Wed, 20 Oct 2021 21:14:40 +0200
Subject: [PATCH] allow P1 elements for p2_project!()

---
 scripts/run_experiments.jl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/run_experiments.jl b/scripts/run_experiments.jl
index de1f869..19d2dea 100644
--- a/scripts/run_experiments.jl
+++ b/scripts/run_experiments.jl
@@ -112,6 +112,7 @@ end
 
 function p2_project!(p2, lambda)
     p2.space.element == DP0() || p2.space.element == DP1() ||
+        p2.space.element == P1() ||
         throw(ArgumentError("element unsupported"))
     p2d = reshape(p2.data, prod(p2.space.size), :) # no copy
     for i in axes(p2d, 2)
-- 
GitLab