求可将ℚ→ℚ→Bool类型坐标函数栅格化为位图的现有库

以下是不同编程语言中可实现该需求的常用库，核心逻辑是将离散的位图像素坐标映射为你函数所需的有理数坐标，再根据函数返回值设置像素颜色：

Python #

• Pillow：最常用的图像处理库，可手动创建位图并逐像素赋值。示例逻辑：

  from PIL import Image
  
  width, height = 800, 600
  img = Image.new('1', (width, height))  # '1'代表单通道黑白位图
  pixels = img.load()
  
  # 示例ℚ→ℚ→Bool函数：判断坐标是否在单位圆内
  def your_func(qx, qy):
      return qx**2 + qy**2 <= 1
  
  for x in range(width):
      for y in range(height):
          # 将像素坐标映射为有理数，以图像宽高为分母
          qx = x / width
          qy = y / height
          pixels[x, y] = your_func(qx, qy)  # True对应黑，False对应白
  
  img.save('output.bmp')
  

• NumPy + Pillow：适合批量处理，先生成布尔数组再转图像，效率更高。

Java #

• BufferedImage：Java标准库自带类，无需额外依赖。创建BufferedImage实例后，遍历每个像素，计算对应的有理数坐标，调用函数后设置RGB值（黑色为0x000000，白色为0xFFFFFF）即可。

C++ #

• OpenCV：通过cv::Mat对象管理图像数据，遍历像素并赋值，支持直接保存为BMP格式。
• stb_image_write：轻量级单头文件库，无需编译，生成像素数组后可直接写入位图文件，适合极简场景。

关键注意事项 #

栅格化时需将位图的离散像素坐标映射为函数所需的有理数坐标，通常可通过缩放比例实现：比如将图像宽度W、高度H作为分母，像素(x,y)对应有理数(x/W, y/H)；也可根据需求自定义映射规则（如调整原点位置、缩放倍数）。

内容的提问来源于stack exchange，提问作者Hypatia du Bois-Marie