update segtree_lazy.md (usage)

tree/docs/segtree_lazy.md

@@ -31,24 +31,20 @@ $n \leq 10^8$ 程度．
 - `get(idx)`：$O(\log n)$
 - `get(L, R)`：$O(\log n)$
 
-## 具体例
-- RmQ
-	```cpp
-	auto op = [](T l, T r) { return min(l, r); };
-	T ex = MAX;
-	```
-
-- RUQ
-	```cpp
-	auto f_upd = [](T x, M m) { return m; };
-	auto f_lz = [](M l, M r) { return r; };
-	/* 入力されないことが保証される値，または pair<integer, bool> で保持している状態で bool = true としておく等 */
-	M em = -1;
-	```
-
-- RAQ
-	```cpp
-	auto f_upd = [](T x, M m) { return x+m; };
-	auto f_lz = [](M l, M r) { return l+r; };
-	M em = 0;
-	```
+## 気を付けるべき使用例
+#### Range Matrix Multiplication
+ある行列Aに行列Bを掛ける操作をすることは，Bを左から掛けることに相当する．
+
+
+```cpp
+using mat = matrix<T>;
+
+auto op = /* 任意の範囲取得クエリ */;
+mat ex = /* opの単位元 */;
+
+/* ある行列Aに行列Bを掛ける操作をすることは、Bを左から掛けることに相当する */
+auto f_upd = [](mat A, mat B) { return B * A; };
+mat em = mat::Indentity();
+
+auto seg = segtree_lazy(v /* or N */, op, f_upd, f_upd, ex, em);
+```