農政全書卷二十
關燈
小
中
大
然石也而體質甚輕揉之成粉舂以代砂或代瓦屑灰汁在其空中委宛相入堅凝之後逾于鋼鐵近數十年前有發故水道者啟土之後鍬镢不入百計無所施既而穴其下方乃壊堕焉視其甃塗之灰用是物也厚半寸許耳此道由來甚乆以歴年計之在漢武之世矣後此凡用和灰甚貴是物焉或作室模和灰塗之崇闳窈窕惟意所為既成之後絶勝冶銅鑄鐡矣然所在不乏計秦晉隴蜀諸髙陽之地必多有之其形大段如浮石而顆細色赤黃質脆為異耳以本草質之殆土殷孽之類也其生在幹燥之處土作硫黃氣者或産硫黃者或近溫泉者火石者火井者或地中時出燐火者即有之求之法視其處草不蕃盛茸茸短瘠又淺草之中忽有少分如鬥許如席許大不生寸草者依此掘地數尺當可得也西國名為巴初剌那求得之大利于土石之工或并無瓦屑及砂以青白石末代之其細大之等與瓦屑同
二曰齊
凡齊以鬥斛槩其物水和之三分其凡而灰居一砂居二湅之如糜謂之甃齊三分其甃齊加水一焉而調之謂之築齊塗之齊有三湅之皆如糜四分其凡而瓦查居二砂居一灰居一謂之初齊三分其凡而中屑居二灰居一謂之中齊五分其凡而細屑居三灰居二謂之末齊凡湅齊熟之又熟無亟于用無惜于力日再湅五日而成為新齊新齊積之恒以水潤之下濕之處窖藏而土封之乆而益良
注曰凡量灰必出窯之灰凡量瓦屑必出臼之屑凡量砂必日暴之砂皆言幹也如糜者今匠人所用甃牆塗牆挑而槩之之劑也太燥則不附太濕則不居加水為築劑則如稀糜沃而灌之之劑也凡治宮室築城垣造圹域皆以諸劑斟酌用之和之水以泉水江水雨水雜鹵與鹻勿用也雪水之新者勿用也凡總數也
三曰鑿
池有二曰家池曰野池家以共家野以共野共家者飲馔焉澡滌焉共野者畜牧焉溉灌焉為家池計衆霤而曲聚之承而鐘之為野池計岡阜原田水道之委而聚之而鐘之為家池必二年以上代積焉代用焉為野池專可也随積而用之皆計嵗用之數而為之容積二年以上者逓倍之或倍之容或倍其處為家池平其底中底而為之坎坎深二尺以渟其垢三分其底之徑以其一為坎之徑牆方則稱圜則固大者圜之小者方之大者圜而方者小則不畏深也牆之周或壁立或下侈而上弇之侈弇之數無定度雖為之土囊之口可也若上侈而下弇則寡容也中侈而上下弇則難為牆也無所取之或為之複池限之以牆中牆而為之窦以通之小者之大者牐之互輸寫之可抒清而去濁也代積而代用也若山麓原田陂陁之地則為壺漏之池髙下相承互輸寫之為野池利淺以羣飲六畜以溉田方其牆迤其一面以為塗欲為深者迤其底漸深之無坎為野池擇硗确之地不宜稼而水辏焉者可也是化無用為有用也
注曰共與供同霤檐溝也容者通髙下廣狹所容受多寡之數也度池尺寸計容多寡用盤量倉窖術在九章算之粟米篇専獨也逓倍者二年則二倍三年則三倍也倍容者倍其大倍處者倍其多也倍大法亦用立方立圓術酌量作之在九章算之少廣篇方則稱者或稱其室或稱其庭兩方相稱也方牆而大懼或堕焉圓如井周相恃為固上弇不堕亦此理也侈廣弇斂也如本篇