تصوير مسطح لكتاب غير محمي بحقوق النشر بأربعة نسخ في شبكة 2x2 بنسبة عرض إلى ارتفاع 16:9

شبكة 2x2، نسبة 16:9، نفّذ هذا لـ 4 كتب غير محمية بحقوق النشر: type Share = Float

data Constituent = C { name :: Text, share :: Share }      -- مجموع الحصص = 1 (R₃)

-- R₁+R₂: تقسيم لمنطقة الشكل يحافظ على القياس ويتوافق مع الحدود

partition :: Region -> [Constituent] -> [SubRegion]

--   |Ω_i| = share_i · |Ω|   (حافظ على المساحة)

--   Ω_i غير متداخلة؛ ∪Ω_i = Ω؛ ∂(∪Ω_i) = ∂Ω   (متوافق مع الشكل، حافة نظيفة)

reads_as :: Image -> (Silhouette, Recipe)                  -- بعيد = الشكل، قريب = النسب

forbidden :: [Regex]

forbidden = [ /أجزاء_متساوية_الحجم/ , /نسب_خاطئة/ , /مكوّن_ناقص/ , /ظل_مكسور/ ,

              /تداخل/ , /ميلان/ , /أيدي/ , /وهج/ ]

render :: Subject -> Shape -> Image

render s sh = let d = constituents s; Ω = region sh

              in  assert (sum(share <$> d)==1 && measure_preserving (partition Ω d) Ω) $

                  flat_lay (partition Ω d) صندوق_ضوء_ناعم_علوي مطفي ظلال_ناعمة (نسبة_صغيرة d)