{"id":4318,"date":"2022-11-30T17:08:33","date_gmt":"2022-11-30T08:08:33","guid":{"rendered":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/?p=4318"},"modified":"2023-03-28T18:00:39","modified_gmt":"2023-03-28T09:00:39","slug":"maxima-%e3%81%a6%e3%82%99-drawdf-%e3%82%92%e4%bd%bf%e3%81%a3%e3%81%a62%e6%ac%a1%e5%85%83%e3%83%98%e3%82%99%e3%82%af%e3%83%88%e3%83%ab%e6%96%b9%e5%90%91%e5%a0%b4%e3%82%92%e6%8f%8f%e3%81%8f","status":"publish","type":"post","link":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/4318\/","title":{"rendered":"Maxima \u3066\u3099 drawdf() \u3092\u4f7f\u3063\u30662\u6b21\u5143\u30d8\u3099\u30af\u30c8\u30eb\u65b9\u5411\u5834\u3092\u63cf\u304f"},"content":{"rendered":"
\n
<\/div>\n
\n
\n

\u300cMaxima \u3067\u30d9\u30af\u30c8\u30eb\u5834\uff08\u96fb\u5834\u30fb\u78c1\u5834\uff09\u3092\u63cf\u304f<\/a>\u300d\u3067\u306f\uff0c\u3054\u3061\u3083\u3054\u3061\u3083\u3068\u8a2d\u5b9a\u3057\u3066\u30d9\u30af\u30c8\u30eb\u5834\u3092\u63cf\u3044\u3066\u3044\u305f\u304c\uff0c\u3053\u30682\u6b21\u5143\u30d9\u30af\u30c8\u30eb\u306e\u65b9\u5411\u5834\uff08\u5927\u304d\u3055\u304c\u4e00\u5b9a\u3067\u5411\u304d\u3060\u3051\u3092\u8868\u3059\u30d9\u30af\u30c8\u30eb\u5834\uff09\u306b\u9650\u308c\u3070\uff0cdrawdf<\/code> \u30d1\u30c3\u30b1\u30fc\u30b8\u3092\u4f7f\u3063\u3066\u3082\u3063\u3068\u7c21\u5358\u306b\u63cf\u3051\u308b\u3053\u3068\u304c\u308f\u304b\u3063\u305f\u306e\u3067\u30e1\u30e2\u3002<\/p>\n<\/div>\n<\/div>\n<\/div>\n

<\/p>\n

\n
\n
In\u00a0[1]:<\/div>\n
\n
\n
\n
\/* \u6700\u521d\u306b1\u56de\u3060\u3051\u30ed\u30fc\u30c9\u3059\u308b *\/<\/span>\r\nload<\/span>(<\/span>drawdf<\/span>)<\/span>$\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n
\n
<\/div>\n
\n
\n
\u70b9\u96fb\u8377\u304c\u3064\u304f\u308b\u96fb\u5834\u306e\u5411\u304d<\/h3>\n<\/div>\n<\/div>\n<\/div>\n
\n
\n
In\u00a0[2]:<\/div>\n
\n
\n
\n
Ex<\/span>(<\/span>x<\/span>, y<\/span>)<\/span>:=<\/span> x<\/span>\/<\/span>sqrt<\/span>(<\/span>x<\/span>**<\/span>2<\/span> +<\/span> y<\/span>**<\/span>2<\/span>)<\/span>**<\/span>3$\r\nEy<\/span>(<\/span>x<\/span>, y<\/span>)<\/span>:=<\/span> y<\/span>\/<\/span>sqrt<\/span>(<\/span>x<\/span>**<\/span>2<\/span> +<\/span> y<\/span>**<\/span>2<\/span>)<\/span>**<\/span>3$\r\n\r\n\/* \u3053\u308c\u3060\u3051\u3067\u65b9\u5411\u5834\u3092\u63cf\u3044\u3066\u304f\u308c\u308b\u3002\u7c21\u5358\u3002*\/<\/span>\r\n\/* \u30d9\u30af\u30c8\u30eb\u306e\u5927\u304d\u3055\u3082\u52dd\u624b\u306b\u898f\u683c\u5316\u3057\u3066\u304f\u308c\u308b\u3057\u3002*\/<\/span>\r\n\/* (0, 1) \u306b\u304a\u3044\u305f\u6b63\u96fb\u8377 *\/<\/span>\r\ndrawdf<\/span>([<\/span>Ex<\/span>(<\/span>x<\/span>, y<\/span>-<\/span>1<\/span>)<\/span>, Ey<\/span>(<\/span>x<\/span>, y<\/span>-<\/span>1<\/span>)]<\/span>, [<\/span>x<\/span>, -<\/span>3<\/span>, 3]<\/span>, [<\/span>y<\/span>, -<\/span>3<\/span>, 3])<\/span>$\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n
\n
\n
\n
<\/div>\n
\n
<\/p>\n
\"\"<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n
\n
\n
In [3]:<\/div>\n
\n
\n
\n
\/* (0, 1) \u306b\u304a\u3044\u305f\u6b63\u96fb\u8377\u3068 (0, -1) \u306b\u304a\u3044\u305f\u8ca0\u96fb\u8377 *\/<\/span>\r\n\/* \u30aa\u30d7\u30b7\u30e7\u30f3\u306e\u8a2d\u5b9a\u4f8b *\/<\/span>\r\ndrawdf<\/span>([<\/span>Ex<\/span>(<\/span>x<\/span>, y<\/span>-<\/span>1<\/span>)<\/span> -<\/span> Ex<\/span>(<\/span>x<\/span>, y<\/span>+<\/span>1<\/span>)<\/span>, Ey<\/span>(<\/span>x<\/span>, y<\/span>-<\/span>1<\/span>)<\/span> -<\/span> Ey<\/span>(<\/span>x<\/span>, y<\/span>+<\/span>1<\/span>)]<\/span>, \r\n       [<\/span>x<\/span>, -<\/span>3<\/span>, 3]<\/span>, [<\/span>y<\/span>, -<\/span>3<\/span>, 3]<\/span>, \r\n       \/* \u65b9\u5411\u30d9\u30af\u30c8\u30eb\u5834\u306e\u8272 *\/<\/span>\r\n       field_color<\/span> =<\/span> blue<\/span>, \r\n       \/* \u30d9\u30af\u30c8\u30eb\u59cb\u70b9\u306e\u683c\u5b50\u6570 *\/<\/span>\r\n       field_grid<\/span>=<\/span>[<\/span>20<\/span>, 20]<\/span>, \r\n       \r\n       \/* \u7e26\u6a2a\u6bd4 *\/<\/span>\r\n       proportional_axes<\/span> =<\/span> xy<\/span>,\r\n       \/* \u76ee\u76db\u975e\u8868\u793a *\/<\/span>\r\n       xtics<\/span>=<\/span>false<\/span>, ytics<\/span>=<\/span>false<\/span>, \r\n       \/* title \u306e\u30d5\u30a9\u30f3\u30c8\u30b5\u30a4\u30ba\u306e\u5909\u66f4\u4f8b\u3002*\/<\/span>\r\n       title<\/span> =<\/span> \"{\/=16 \u6b63\u96fb\u8377\u3068\u8ca0\u96fb\u8377\u304c\u3064\u304f\u308b\u96fb\u5834\u306e\u5411\u304d}\"<\/span>, \r\n       \r\n       \/* \u6b63\u96fb\u8377\u306e\u5468\u308a\u3092\u767d\u3067\u5857\u308a\u3064\u3076\u3059 *\/<\/span>\r\n       color<\/span> =<\/span> white<\/span>,\r\n       point_size<\/span> =<\/span> 3<\/span>, \r\n       point_type<\/span> =<\/span> 7<\/span>, \r\n       points<\/span>([[<\/span>0<\/span>, 1]])<\/span>,\r\n       \/* \u6b63\u96fb\u8377 *\/<\/span>\r\n       color<\/span> =<\/span> black<\/span>,\r\n       point_size<\/span> =<\/span> 1.5<\/span>, \r\n       point_type<\/span> =<\/span> 6<\/span>, \r\n       points<\/span>([[<\/span>0<\/span>, 1]])<\/span>,\r\n       label<\/span>([<\/span>\"\uff0b\"<\/span>, 0<\/span>, 1])<\/span>, \r\n       \/* \u8ca0\u96fb\u8377\u306e\u5468\u308a\u3092\u767d\u3067\u5857\u308a\u3064\u3076\u3059 *\/<\/span>\r\n       color<\/span> =<\/span> white<\/span>,\r\n       point_size<\/span> =<\/span> 3<\/span>, \r\n       point_type<\/span> =<\/span> 7<\/span>, \r\n       points<\/span>([[<\/span>0<\/span>, -<\/span>1]])<\/span>,\r\n       \/* \u8ca0\u96fb\u8377 *\/<\/span>\r\n       color<\/span> =<\/span> red<\/span>, \r\n       point_size<\/span> =<\/span> 1.5<\/span>, \r\n       point_type<\/span> =<\/span> 6<\/span>, \r\n       points<\/span>([[<\/span>0<\/span>, -<\/span>1]])<\/span>,\r\n       label<\/span>([<\/span>\"\u30fc\"<\/span>, 0<\/span>, -<\/span>1])<\/span>, \r\n       \r\n       \/* Web \u30da\u30fc\u30b8\u7528\u306b\u753b\u50cf\u30d5\u30a1\u30a4\u30eb\u3068\u3057\u3066\u4fdd\u5b58 *\/<\/span>\r\n       file_name<\/span> =<\/span> drawdf<\/span>02<\/span>, \r\n       terminal<\/span> =<\/span> '<\/span>svg<\/span>\r\n       )<\/span>$\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n
\n
\n
\n
<\/div>\n
\n
<\/p>\n
\"\"<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n
\n
<\/div>\n
\n
\n
\u96fb\u6c17\u53cc\u6975\u5b50\u304c\u3064\u304f\u308b\u96fb\u5834\u306e\u5411\u304d<\/h3>\n<\/div>\n<\/div>\n<\/div>\n
\n
\n
In [4]:<\/div>\n
\n
\n
\n
\/* \u96fb\u5834 E *\/<\/span>\r\nEx<\/span>(<\/span>x<\/span>, y<\/span>)<\/span>:=<\/span> 3*<\/span> x<\/span>*<\/span>y<\/span>\/<\/span>sqrt<\/span>(<\/span>x<\/span>**<\/span>2<\/span> +<\/span> y<\/span>**<\/span>2<\/span>)<\/span>**<\/span>5$\r\nEy<\/span>(<\/span>x<\/span>, y<\/span>)<\/span>:=<\/span> 3*<\/span> y<\/span>*<\/span>y<\/span>\/<\/span>sqrt<\/span>(<\/span>x<\/span>**<\/span>2<\/span> +<\/span> y<\/span>**<\/span>2<\/span>)<\/span>**<\/span>5<\/span> -<\/span> 1\/<\/span>sqrt<\/span>(<\/span>x<\/span>**<\/span>2<\/span> +<\/span> y<\/span>**<\/span>2<\/span>)<\/span>**<\/span>3$\r\n\r\ndrawdf<\/span>(<\/span>\r\n  [<\/span>Ex<\/span>(<\/span>x<\/span>, y<\/span>)<\/span>, Ey<\/span>(<\/span>x<\/span>, y<\/span>)]<\/span>, [<\/span>x<\/span>, -<\/span>3<\/span>, 3]<\/span>, [<\/span>y<\/span>, -<\/span>3<\/span>, 3]<\/span>, \r\n  \/* \u65b9\u5411\u30d9\u30af\u30c8\u30eb\u5834\u306e\u8272 *\/<\/span>\r\n  field_color<\/span> =<\/span> blue<\/span>, \r\n  \/* \u30d9\u30af\u30c8\u30eb\u59cb\u70b9\u306e\u683c\u5b50\u6570 *\/<\/span>\r\n  field_grid<\/span>=<\/span>[<\/span>20<\/span>, 20]<\/span>, \r\n\r\n\/* \u7e26\u6a2a\u6bd4 *\/<\/span>\r\n  proportional_axes<\/span> =<\/span> xy<\/span>,\r\n  \/* \u76ee\u76db\u975e\u8868\u793a *\/<\/span>\r\n  xtics<\/span>=<\/span>false<\/span>, ytics<\/span>=<\/span>false<\/span>, \r\n  \/* title *\/<\/span>\r\n  title<\/span> =<\/span> \"{\/=16 \u96fb\u6c17\u53cc\u6975\u5b50\u304c\u3064\u304f\u308b\u96fb\u5834\u306e\u5411\u304d}\"<\/span>, \r\n       \r\n  \/* \u96fb\u6c17\u53cc\u6975\u5b50 *\/<\/span>\r\n  color<\/span> =<\/span> red<\/span>, \r\n  line_width<\/span> =<\/span> 5<\/span>,\r\n  head_length<\/span> =<\/span> 0.05<\/span>,\r\n  head_angle<\/span>  =<\/span> 30<\/span>, \r\n  vector<\/span>([<\/span>0<\/span>,-<\/span>0.<\/span>1]<\/span>,[<\/span>0<\/span>,0.<\/span>2])<\/span>, \r\n  \r\n  \/* Web \u30da\u30fc\u30b8\u7528\u306b\u753b\u50cf\u30d5\u30a1\u30a4\u30eb\u3068\u3057\u3066\u4fdd\u5b58 *\/<\/span>\r\n  file_name<\/span> =<\/span> drawdf<\/span>03<\/span>, \r\n  terminal<\/span> =<\/span> '<\/span>svg<\/span>\r\n)<\/span>$\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n
\n
\n
\n
<\/div>\n
\n
<\/p>\n
\"\"<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n
\n
<\/div>\n
\n
\n
\u76f4\u7dda\u96fb\u6d41\u304c\u3064\u304f\u308b\u78c1\u5834<\/h3>\n<\/div>\n<\/div>\n<\/div>\n
\n
\n
In [5]:<\/div>\n
\n
\n
\n
\/* \u78c1\u5834 B *\/<\/span>\r\nBx<\/span>(<\/span>x<\/span>, y<\/span>)<\/span>:=<\/span> -<\/span>y<\/span>\/<\/span>(<\/span>x<\/span>**<\/span>2<\/span> +<\/span> y<\/span>**<\/span>2<\/span>)<\/span>$\r\nBy<\/span>(<\/span>x<\/span>, y<\/span>)<\/span>:=<\/span>  x<\/span>\/<\/span>(<\/span>x<\/span>**<\/span>2<\/span> +<\/span> y<\/span>**<\/span>2<\/span>)<\/span>$\r\n\r\ndrawdf<\/span>(<\/span>\r\n  [<\/span>Bx<\/span>(<\/span>x<\/span>, y<\/span>)<\/span>, By<\/span>(<\/span>x<\/span>, y<\/span>)]<\/span>, [<\/span>x<\/span>, -<\/span>3<\/span>, 3]<\/span>, [<\/span>y<\/span>, -<\/span>3<\/span>, 3]<\/span>, \r\n  \/* \u65b9\u5411\u30d9\u30af\u30c8\u30eb\u5834\u306e\u8272 *\/<\/span>\r\n  field_color<\/span> =<\/span> dark<\/span>-<\/span>green<\/span>, \r\n  \/* \u30d9\u30af\u30c8\u30eb\u59cb\u70b9\u306e\u683c\u5b50\u6570 *\/<\/span>\r\n  field_grid<\/span>=<\/span>[<\/span>20<\/span>, 20]<\/span>, \r\n\r\n\/* \u7e26\u6a2a\u6bd4 *\/<\/span>\r\n  proportional_axes<\/span> =<\/span> xy<\/span>,\r\n  \/* \u76ee\u76db\u975e\u8868\u793a *\/<\/span>\r\n  xtics<\/span>=<\/span>false<\/span>, ytics<\/span>=<\/span>false<\/span>, \r\n  \/* title *\/<\/span>\r\n  title<\/span> =<\/span> \"{\/=16 \u76f4\u7dda\u96fb\u6d41\u304c\u3064\u304f\u308b\u78c1\u5834\u306e\u5411\u304d}\"<\/span>, \r\n       \r\n  \/* \u96fb\u7dda\u306e\u4f4d\u7f6e *\/<\/span>\r\n  color<\/span> =<\/span> red<\/span>,\r\n  point_size<\/span> =<\/span> 1.5<\/span>, \r\n  point_type<\/span> =<\/span> 6<\/span>, \r\n  points<\/span>([[<\/span>0<\/span>, 0]])<\/span>,\r\n  label<\/span>([<\/span>\"\u30fb\"<\/span>, 0<\/span>, 0])<\/span>, \r\n  \r\n  \/* Web \u30da\u30fc\u30b8\u7528\u306b\u753b\u50cf\u30d5\u30a1\u30a4\u30eb\u3068\u3057\u3066\u4fdd\u5b58 *\/<\/span>\r\n  file_name<\/span> =<\/span> drawdf<\/span>04<\/span>, \r\n  terminal<\/span> =<\/span> '<\/span>svg<\/span>\r\n)<\/span>$\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n
\n
\n
\n
<\/div>\n
\n
<\/p>\n
\"\"<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"
\u300cMaxima \u3067\u30d9\u30af\u30c8\u30eb\u5834\uff08\u96fb\u5834\u30fb\u78c1\u5834\uff09\u3092\u63cf\u304f\u300d\u3067\u306f\uff0c\u3054\u3061\u3083\u3054\u3061\u3083\u3068\u8a2d\u5b9a\u3057\u3066\u30d9\u30af\u30c8\u30eb\u5834\u3092\u63cf\u3044\u3066\u3044\u305f\u304c\uff0c\u3053\u30682\u6b21\u5143\u30d9\u30af\u30c8\u30eb\u306e\u65b9\u5411\u5834\uff08\u5927\u304d\u3055\u304c\u4e00\u5b9a\u3067\u5411\u304d\u3060\u3051\u3092\u8868\u3059\u30d9\u30af\u30c8\u30eb\u5834\uff09\u306b\u9650\u308c\u3070\uff0cdrawdf \u30d1\u30c3\u30b1\u30fc\u30b8\u3092\u4f7f\u3063\u3066\u3082\u3063\u3068\u7c21\u5358\u306b\u63cf\u3051\u308b\u3053\u3068\u304c\u308f\u304b\u3063\u305f\u306e\u3067\u30e1\u30e2\u3002<\/p>
\u7d9a\u304d\u3092\u8aad\u3080<\/a><\/p>\n","protected":false},"author":33,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"inline_featured_image":false,"footnotes":""},"categories":[14,19],"tags":[],"class_list":["post-4318","post","type-post","status-publish","format-standard","hentry","category-maxima","category-19","nodate","item-wrap"],"aioseo_notices":[],"aioseo_head":"\n\t\t\n\t\n\t\n\t\n\t\n\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t