2.1節 群論的作図法
著者:梅谷 武
語句:群論的作図法, Lua, 演算子定義
語句:群論的作図法, Lua, 演算子定義
ToposNoteにおける群論的作図法について述べる。
作成:2010-03-23
更新:2021-07-01
更新:2021-07-01
本節の目的は、ToposNote上でLuaによる演算子定義機能を使って、図形の変換を群論的に表現することにあります。
Luaにおいて図形と変換をそれぞれクラスとして実装し、図形クラスをF、変換クラスをTで表したときに、図形の変換を左からの作用
T * F
と表現し、さらに変換の合成も積*で表し、冪乗を
T^3 := T * ( T * T )
と表現できるようにします。また、T*Fにより図形に変換を施す際に行列スタックの状態を保存するようにして、push, popを書く手間を省きます。-- operator * function mul( a, b ) if ( ( a.type == "Transformation" ) and ( b.type == "Figure" ) ) then dxPushMatrix() a.func() b.func() dxPopMatrix() elseif ( ( a.type == "Transformation" ) and ( a.type == b.type ) ) then local tmp = function() a.func() b.func() end return new( tmp ) else end end -- operator ^ function pow( a, n ) if ( a.type == "Transformation" ) then local tmp = function() end local answer = new( tmp ) while n > 0 do if ( n % 2 == 1 ) then answer = answer * a end a = a * a n = math.floor( n / 2 ) end return answer else end end -- Figure class function new( def_func ) local obj = {} obj.type = "Figure" obj.func = def_func return obj end -- Transformation class function new( def_func ) local obj = {} obj.type = "Transformation" obj.func = def_func setmetatable( obj, { __mul = mul, __pow = pow } ) return obj end
本文書内のサンプルプログラムは、ToposNoteの配布物に同梱されています。これらについては、自由な使用・改変・再配布が許諾されています。さらに再配布にあたり、著作権表示をする必要はありません。
[1] 梅谷 武, ToposNote2マニュアル, pisan-dub.jp, 2010
Published by SANENSYA Co.,Ltd.